diff options
| author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-01-28 17:38:25 +0000 |
|---|---|---|
| committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-01-28 17:38:25 +0000 |
| commit | e4737caa097059882d35e2fab5eed230f1b21cc9 (patch) | |
| tree | c6fad54b6efd7e61b1acf8c11539b773747f72c7 /src/smt/Makefile.am | |
| parent | fa58c38371131db68f780c9f6f7e7d3f2e07256a (diff) | |
Replacing hand-coded autogen.sh with buildconf version
Diffstat (limited to 'src/smt/Makefile.am')
0 files changed, 0 insertions, 0 deletions