From 60e2ec47ba457187ac33fb41206f35af11eb9a99 Mon Sep 17 00:00:00 2001 From: Alban Gruin Date: Sun, 6 Sep 2020 23:01:35 +0200 Subject: hello, world Signed-off-by: Alban Gruin --- .gitignore | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 .gitignore (limited to '.gitignore') diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..40f4db6 --- /dev/null +++ b/.gitignore @@ -0,0 +1,3 @@ +_build/ +_opam/ +.merlin -- cgit v1.2.1