From 1335aafbc81cee0ad3c472c3facff22eba1d832f Mon Sep 17 00:00:00 2001
From: Andre Anjos <andre.dos.anjos@gmail.com>
Date: Tue, 22 Mar 2022 13:13:01 +0100
Subject: [PATCH] [ignore] Update ignore file for git

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index 458ed61a..8adc06e0 100644
--- a/.gitignore
+++ b/.gitignore
@@ -19,3 +19,4 @@ record.txt
 miniconda.sh
 miniconda/
 .DS_Store
+.envrc
-- 
GitLab