From 892022ca20512ceef1342f6705ec8209a8acf078 Mon Sep 17 00:00:00 2001 From: Miha Zgubic Date: Thu, 20 May 2021 14:19:02 +0100 Subject: [PATCH] add dev to gitignore --- .gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitignore b/.gitignore index 78756acf1..aa5ffbd93 100644 --- a/.gitignore +++ b/.gitignore @@ -3,3 +3,4 @@ *.jl.mem docs/build Manifest.toml +dev/