diff options
| author | Christian Grothoff <christian@grothoff.org> | 2015-06-18 14:25:09 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2015-06-18 14:25:09 +0200 |
| commit | 5e87b47c487ccf29ac907d922bef39bc74867af7 (patch) | |
| tree | 2b2b5e9a2aeb69e7f8d6154d7400fe481f375932 /.gitignore | |
| parent | 3a4429aa008fdab3b5787cd5e406bfd1c556c8e0 (diff) | |
add test mode option to mint
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions