diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-02-10 23:36:07 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-02-10 23:36:07 +0000 |
| commit | 008b88abd1d1c2a4b44053bad71654fbade787b2 (patch) | |
| tree | 8c4ee41079c3f1bf36422a5b5e68535d572b4d95 /test/system/Makefile.am | |
| parent | 91ab0391fe69419726448d634f8050c105035232 (diff) | |
script to ease creating a new theory from scratch (will go along with new reference documentation)
Diffstat (limited to 'test/system/Makefile.am')
0 files changed, 0 insertions, 0 deletions