diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2012-05-12 12:15:26 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2012-05-12 12:15:26 -0400 |
| commit | e7097453fe0dc09ecc9f54d8977da9e5aa176df1 (patch) | |
| tree | 0e8fd2107aad3b6770dd3249a07bbc15ef191727 /Makefile.am | |
| parent | 078d37161fbe6d1029a936a52e842c42cbe45dd4 (diff) | |
Return to working version mode
Diffstat (limited to 'Makefile.am')
0 files changed, 0 insertions, 0 deletions