Skip to content
Snippets Groups Projects
Commit 561ddb95 authored by erwan's avatar erwan
Browse files

Chore: more paths to sources in the .merlin

parent 23a4862b
No related branches found
No related tags found
No related merge requests found
S src S src
S lib/sasacore S lib/sasacore
S lib/sasa
S lib/algo S lib/algo
S ../rdbg/lib
S ../rdbg/bin
S ../lutils/bin
S ../lutils/lib
S ../lutin/lib/lutin
S ../lutin/lib/bddand
S ../lutin/lib/ezdl
S ../lutin/lib/polka
S ../lutin/bin
B /home/jahier/.opam/4.07.0/lib/ocaml
B /home/jahier/.opam/4.07.0/lib/ocamlgraph
B $OPAM_SWITCH_PREFIX/lib/ocaml
B $OPAM_SWITCH_PREFIX/lib/ocamlgraph
B _build/default/src/.sasaMain.eobjs B _build/default/src/.sasaMain.eobjs
B _build/default/lib/algo/.algo.objs B _build/default/lib/algo/.algo.objs
B _build/default/lib/sasacore/.sascore.objs B _build/default/lib/sasacore/.sascore.objs
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment