From 55113b54dfb29df9f53488c106a672bf2c63c293 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 17 Nov 2021 14:40:20 +0100
Subject: Make progress on deserializing modules

---
 .gitignore | 4 ++++
 1 file changed, 4 insertions(+)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index a18e0840..4ad2b2b7 100644
--- a/.gitignore
+++ b/.gitignore
@@ -27,3 +27,7 @@ setup.log
 
 # Local OPAM switch
 _opam/
+
+# Misc
+*~
+nohup.out
\ No newline at end of file
-- 
cgit v1.2.3