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 @@ *.tp *.tps *.tmp +*.txt Makefile |