diff options
| author | David Thompson <davet@gnu.org> | 2015-05-14 17:48:29 -0400 |
|---|---|---|
| committer | David Thompson <davet@gnu.org> | 2015-05-14 17:48:29 -0400 |
| commit | 2e070a480bce326eeae5c9486d220ec39cb9ed14 (patch) | |
| tree | 5d40baaa806932dd4c426c7cef81b2eb48131672 /2d/repl | |
| parent | c2d467c6e7539548366c14606569d181abdc1d4b (diff) | |
sandbox: Generate script with autoconf.
* sandbox: Delete.
* .gitignore: Ignore it.
* sandbox.in: New file.
* configure.ac: Generate sandbox.
Diffstat (limited to '2d/repl')
0 files changed, 0 insertions, 0 deletions