diff options
| author | Christian Grothoff <christian@grothoff.org> | 2011-06-10 10:45:33 +0000 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2011-06-10 10:45:33 +0000 |
| commit | f7b5b476ba55ee45fefff22777f525cc81b4cae8 (patch) | |
| tree | a33e5983ab6c8b0e35c1055cb7503ec4fac90041 /TODO | |
| parent | 0ac9a4984e1e551293ea8ea00f3c8ea2c5460d91 (diff) | |
adding configure code for --enable-benchmarks, --enable-expensive-tests, some clean up
Diffstat (limited to 'TODO')
| -rw-r--r-- | TODO | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -1,6 +1,5 @@ 0.9.0pre3: * clean buildbots -* clean build 0.9.0: * new webpage: |