Better location for ignoring Webots.app

cyberbotics · Dec 4, 2018 · 4a01848 · 4a01848
1 parent 48d3ca1
commit 4a01848
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -58,7 +58,6 @@ Thumbs.db
 # Local rules #
 ###############
 
-/distribution
 /msys64
 /webots
 /webots.lnk

diff --git a/distribution/.gitignore b/distribution/.gitignore
@@ -1,2 +1,3 @@
+/Webots.app
 /debian
 *.deb