diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2012-01-06 09:40:20 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2012-01-06 09:40:20 -0500 |
| commit | 5fc7c4af78aaf549394e9438998b00be1c679cea (patch) | |
| tree | 214a4823227e3e21a426b14a1884f6b1a5206040 /src/settings.sig | |
| parent | caf4866385c67ac32b65daf48c8a8f7e2c859046 (diff) | |
Revert last unification tweak
Diffstat (limited to 'src/settings.sig')
0 files changed, 0 insertions, 0 deletions