diff options
| author | Matej Kosik | 2017-05-28 11:40:35 +0200 |
|---|---|---|
| committer | Matej Kosik | 2017-05-30 09:36:45 +0200 |
| commit | 71004fe0ab615da7e5fd6cd5634253e3cc43eae2 (patch) | |
| tree | 7a46ba609abc037fd8f756f590444a84de275b42 | |
| parent | ce84f518a210237804779c8840b2783e1f5d8e56 (diff) | |
cleanup in ".merlin" file
| -rw-r--r-- | .merlin | 2 |
1 files changed, 0 insertions, 2 deletions
@@ -1,7 +1,5 @@ FLG -rectypes -thread -safe-string -w +a-4-9-27-41-42-44-45-48-50 -S ltac -B ltac S config B config S ide |