From 9d8dba1d3b8f6f1c67d0281c218333df98788c83 Mon Sep 17 00:00:00 2001 From: Millian Poquet <millian.poquet@inria.fr> Date: Tue, 15 Jan 2019 22:55:19 +0100 Subject: [PATCH] [misc] remove direnv file --- .envrc | 1 - 1 file changed, 1 deletion(-) delete mode 100644 .envrc diff --git a/.envrc b/.envrc deleted file mode 100644 index 1d953f4..0000000 --- a/.envrc +++ /dev/null @@ -1 +0,0 @@ -use nix -- GitLab