From b727b0e12874160becdc377162a1518624d0c59a Mon Sep 17 00:00:00 2001
From: larstvei <larstvei@ifi.uio.no>
Date: Wed, 27 Mar 2024 22:30:38 +0100
Subject: [PATCH] Add a .gitignore and nix/nix.conf

---
 .gitignore   | 1 +
 nix/nix.conf | 1 +
 2 files changed, 2 insertions(+)
 create mode 100644 .gitignore
 create mode 100644 nix/nix.conf

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..e2f5dd2
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1 @@
+result
\ No newline at end of file
diff --git a/nix/nix.conf b/nix/nix.conf
new file mode 100644
index 0000000..c7d7291
--- /dev/null
+++ b/nix/nix.conf
@@ -0,0 +1 @@
+experimental-features = nix-command flakes