diff options
author | Matej Kosik <matej.kosik@inria.fr> | 2016-10-28 11:48:46 +0200 |
---|---|---|
committer | Matej Kosik <matej.kosik@inria.fr> | 2016-11-03 09:26:43 +0100 |
commit | 9c52d25ac0badc5ec6eb0eb897219e607c362e83 (patch) | |
tree | da5fdc825cf46b32b6fe8519ad46b2b710f4b0bd /.merlin | |
parent | 19a2dd5cfbd72defe932656a65ab9da9f4ac9d1e (diff) |
updating ".merlin" file
Diffstat (limited to '.merlin')
-rw-r--r-- | .merlin | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -1,5 +1,7 @@ FLG -rectypes -thread +S ltac +B ltac S config B config S lib |