diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2015-12-20 14:39:50 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2015-12-20 14:39:50 -0500 |
| commit | b850f7d1690a3e05cd4ccb73f012500151fb924a (patch) | |
| tree | 7d48113ca66e3c243a648c4abd3af69c3857f0d2 /.gitignore | |
| parent | 4be7962adf740a35222bfd99608c04329a802a04 (diff) | |
Return to working version mode
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions