diff options
| author | Diego Roversi <diegor@tiscali.it> | 2019-09-20 12:35:17 +0200 |
|---|---|---|
| committer | Diego Roversi <diegor@tiscali.it> | 2019-09-20 12:35:17 +0200 |
| commit | 3233912b23e9ff794b918b13ec46c194f69ca0a8 (patch) | |
| tree | 5e312d15dfa02079be0df53c664972e7d76009dd | |
| parent | 39eb83a42dbcb6b003fadfdf0b1f0a275c11c3ad (diff) | |
gitignore: ignore config.txt
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -1,3 +1,4 @@ CVS/ *~ *.py[co] +*config.txt |