From 4a28b75fe834878b1c93d1fe6fe8a02576957f75 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 19 Nov 2021 18:26:00 +0100
Subject: Start working on pretty-printing

---
 .gitignore | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 4ad2b2b7..eb4a6bf9 100644
--- a/.gitignore
+++ b/.gitignore
@@ -30,4 +30,5 @@ _opam/
 
 # Misc
 *~
-nohup.out
\ No newline at end of file
+nohup.out
+.ocamlformat
\ No newline at end of file
-- 
cgit v1.2.3