From 2ad6fec65b0d591da3a2831d4e2c7443f7a22673 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 11 Nov 2022 15:10:57 +0100
Subject: Update the .gitignore

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

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 4794d3be..c0c6fed6 100644
--- a/.gitignore
+++ b/.gitignore
@@ -15,6 +15,9 @@ _build/
 *.byte
 *.native
 
+# We group everything here
+bin
+
 # oasis generated files
 setup.data
 setup.log
@@ -31,6 +34,9 @@ _opam/
 # Rust working directory
 rust-scripts/target/
 
+# Generated by Nix
+result
+
 # F*
 .depend
 *.hints
-- 
cgit v1.2.3