simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-10 05:03:59 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

Updated .merlin

Browse source
This commit is contained in:
Guillaume Bury 2014-10-31 16:56:31 +01:00
parent 05aa984081
commit 854c7e3f6e
3 changed files with 13 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
common/.merlin Normal file
View file

@ -0,0 +1,4 @@
S ./
B ../_build/
B ../_build/common/

1
sat/.merlin
View file

@ -2,4 +2,5 @@ S ./
S ../common/
B ../_build/
B ../_build/sat/
B ../_build/common/

8
smt/.merlin Normal file
View file

@ -0,0 +1,8 @@
S ./
S ../sat/
S ../common/
B ../_build/
B ../_build/sat/
B ../_build/smt/
B ../_build/common/