diff options
| author | Alberto Ruiz <aruiz@um.es> | 2010-02-20 18:44:36 +0000 |
|---|---|---|
| committer | Alberto Ruiz <aruiz@um.es> | 2010-02-20 18:44:36 +0000 |
| commit | a3d1bb34ae7b1f97b7e9900fc38f145094fe4777 (patch) | |
| tree | ef31316e59dc9f753a4138e91c227f2d762acf4a /configure.hs | |
| parent | dedd74ee85ee1bf468552107760541b31e6f1878 (diff) | |
added flag -f-tests
Diffstat (limited to 'configure.hs')
0 files changed, 0 insertions, 0 deletions