diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2015-08-19 10:53:18 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2015-08-19 10:53:18 -0400 |
| commit | d3ea9c25ab1e6fd7a2a1de603dcbf76891d8bfd5 (patch) | |
| tree | 9bc1eb7731c9755745fee4f24740a43899f3a9dd /src/settings.sml | |
| parent | da3d388130901d53ff531be7afc6a86b52f6b727 (diff) | |
Return to working version mode
Diffstat (limited to 'src/settings.sml')
0 files changed, 0 insertions, 0 deletions