diff options
author | Adam Chlipala <adamc@csail.mit.edu> | 2016-08-05 17:12:23 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@csail.mit.edu> | 2016-08-05 17:12:23 -0400 |
commit | 7b2b2db168cb6b9a027981800b45e3bbb7425e33 (patch) | |
tree | 82941969fb26208c1b02d42c964a7b6a75f049f5 /doc/tlc.ur | |
parent | bd6f549a527856db3878f1586c6666646a45d8ee (diff) |
Return to working version mode
Diffstat (limited to 'doc/tlc.ur')
0 files changed, 0 insertions, 0 deletions