A little testsuite gardening.
run-all-tests should have been deleted when darcs
switched to cabal.
3 patches for repository http://darcs.net:
patch 4ec3d672d7f01f64df0e0bf3d4b4e00896c759b1
Author: Guillaume Hoffmann <guillaumh@gmail.com>
Date: Sat Sep 24 17:44:01 ART 2016
* merge one add test into add.sh
patch 4b4c65f4529249d803afce486f25bd071f2b3a5b
Author: Guillaume Hoffmann <guillaumh@gmail.com>
Date: Sat Sep 24 18:08:02 ART 2016
* merge two tests into revert.sh
patch 64e34b4a866228020b1d5e77fd204d99d2ebdee0
Author: Guillaume Hoffmann <guillaumh@gmail.com>
Date: Sat Sep 24 18:27:55 ART 2016
* delete outdated script run-all-tests