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 /examples/mines/images | |
parent | c2d467c6e7539548366c14606569d181abdc1d4b (diff) |
sandbox: Generate script with autoconf.
* sandbox: Delete.
* .gitignore: Ignore it.
* sandbox.in: New file.
* configure.ac: Generate sandbox.
Diffstat (limited to 'examples/mines/images')
0 files changed, 0 insertions, 0 deletions