From fa812693e4b7d5f8eb4bd84bf1801a49571b0038 Mon Sep 17 00:00:00 2001 From: Erwan Jahier <jahier@imag.fr> Date: Mon, 3 Dec 2018 10:31:53 +0100 Subject: [PATCH] add a merlin resource file --- .merlin | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 .merlin diff --git a/.merlin b/.merlin new file mode 100644 index 00000000..a6cf6cfd --- /dev/null +++ b/.merlin @@ -0,0 +1,7 @@ +S src +S ../lutils/src +S ../rdbg/src + +B _build/src +B ../lutils/_build/src +B ../rdbg/_build/src -- GitLab