diff options
| author | thing 1 <thing1@seacrossedlovers.xyz> | 2024-12-12 11:41:16 +0000 |
|---|---|---|
| committer | thing 1 <thing1@seacrossedlovers.xyz> | 2024-12-12 11:41:16 +0000 |
| commit | 3094f5b5b179aeb7c6bc706f85d254aa926aeaa5 (patch) | |
| tree | 600a4a26a59251da329a2e8650b0825e952d1e25 /.gitignore | |
| parent | 5b4f3bc66f11429ca178cdd1d2a5a7177942e1f3 (diff) | |
added git ignore to make things smaller
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -8,4 +8,4 @@ *.log *.out *.xml -*.tok +*.toc |