From a3c978e0fc99329027bf7c04ec9b5637395f32c6 Mon Sep 17 00:00:00 2001 From: Valentin Brandl Date: Fri, 14 Feb 2020 14:06:28 +0100 Subject: [PATCH] Ignore nix output directory --- .gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitignore b/.gitignore index 77bef60..2fada85 100644 --- a/.gitignore +++ b/.gitignore @@ -3,3 +3,4 @@ repos cache hoc.log +result