diff options
| author |  Emilio Jesus Gallego Arias <e+git@x80.org> | 2016-06-28 16:51:59 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias <e+git@x80.org> | 2016-11-30 22:56:00 +0100 |
| commit | f35eb5737fcdc1430eb45372d5bb99109d0216a2 (patch) | |
| tree | dfb84e2f73fcdf6f67b1660647b0b51e0eb1185f /.merlin | |
| parent | 3e6fa1cbdc0ec145728089000595b6ea29f37a4c (diff) | |
[merlin] Adjust merlin for ide.
Diffstat (limited to '.merlin')
| -rw-r--r-- | .merlin | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -2,6 +2,8 @@ FLG -rectypes -thread S config B config +S ide +B ide S lib B lib S intf |