Parcourir la source

Updated binary name in ignore file

Taddeus Kroes il y a 11 ans
Parent
commit
f2a7d6e5d8
1 fichiers modifiés avec 1 ajouts et 1 suppressions
  1. 1 1
      .gitignore

+ 1 - 1
.gitignore

@@ -1,5 +1,5 @@
 ._*/
-civicc
+civcc
 *.cmo
 *.cmi
 *.cmx