diff options
author | Adam Chlipala <adam@chlipala.net> | 2015-01-03 10:28:36 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2015-01-03 10:28:36 -0500 |
commit | f1204c9d8702aa2b394d777c0552f5e9cc0e9fce (patch) | |
tree | 21b548079a77b8dedf82c46c71b8e60ec4de985e /demo/batchG.ur | |
parent | 59d197f311ae4d29b9c2c7909ccd8c9c8975c90e (diff) |
Return to working version mode
Diffstat (limited to 'demo/batchG.ur')
0 files changed, 0 insertions, 0 deletions