Parcourir la source

Ignore flycheck issues

Samuel W. Flint il y a 8 ans
Parent
commit
f194450323
1 fichiers modifiés avec 1 ajouts et 0 suppressions
  1. 1 0
      .gitignore

+ 1 - 0
.gitignore

@@ -12,3 +12,4 @@ auto/*
 *.lol
 *.pdf
 *.tex
+flycheck_*