From: Jérôme Benoit Date: Tue, 18 Feb 2020 03:42:15 +0000 (+0100) Subject: Merge branch 'master' of git.piment-noir.org:TD_C X-Git-Url: https://git.piment-noir.org/?p=TD_C.git;a=commitdiff_plain;h=59f37ea39527663d69ea9f7e65183ca440123730;hp=fbfa3f7836b7c98def1c28a51b0d13a333175bd4 Merge branch 'master' of git.piment-noir.org:TD_C --- diff --git a/.gitignore b/.gitignore index 0ec4789..778782d 100644 --- a/.gitignore +++ b/.gitignore @@ -1,7 +1,7 @@ exo[[:digit:]] !exo[[:digit:]]/ tp[[:digit:]] -!tp[[:digit:]]/ +!TP_[[:digit:]]/ *.static *.dynamic # for cygwin @@ -27,3 +27,5 @@ tp[[:digit:]] thumbs.db *.DS_Store + +.atom