From 5598ea80735a51cb7b3690837b2b7d4240331b2d Mon Sep 17 00:00:00 2001 From: Murilo Ijanc Date: Sun, 26 Jul 2026 12:21:46 -0300 Subject: Initial import --- .gitignore | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 .gitignore (limited to '.gitignore') diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..f80885d --- /dev/null +++ b/.gitignore @@ -0,0 +1,4 @@ +_build/ +_opam/ +*.install +*.merlin -- cgit v1.3