|
autogen.sh
|
Moved autoconf-related files into tools
|
2009-10-30 18:38:09 -04:00 |
|
configure.ac
|
Moved autoconf-related files into tools
|
2009-10-30 18:38:09 -04:00 |
|
excludes
|
included gettext
|
2009-02-22 18:01:57 -04:00 |
|
Makefile.am
|
Renamed the DocTests to ManualTests
|
2009-11-02 01:58:53 -05:00 |
|
proof
|
In tools/proof, change into source directory
|
2009-11-01 16:25:15 -05:00 |
|
push
|
Added auto-commiting of TODO files to tools/push
|
2009-10-31 05:34:49 -04:00 |
|
rename.sh
|
The Great Renaming
|
2009-02-23 18:45:41 -04:00 |
|
times.sh
|
Added LedgerHarness.py, to simplify test creation
|
2009-02-28 05:37:49 -04:00 |