diff options
| -rw-r--r-- | lispintro/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lispintro/.gitignore b/lispintro/.gitignore index 01b52c7053c..a1eb5b6aa8f 100644 --- a/lispintro/.gitignore +++ b/lispintro/.gitignore | |||
| @@ -16,4 +16,5 @@ | |||
| 16 | *.tp | 16 | *.tp |
| 17 | *.tps | 17 | *.tps |
| 18 | *.tmp | 18 | *.tmp |
| 19 | *.txt | ||
| 19 | Makefile | 20 | Makefile |