nethack-gwaa-kiwi/nethack
1
0
Fork 0
Code Pull Requests Activity

'm ^T' documentation

Browse Source
This commit is contained in:
PatR
2019-01-08 13:56:59 -08:00
parent d1deafab05
commit dedd0dd30a
3 changed files with 12 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
doc/.gitignore vendored
View File

@@ -1,6 +1,12 @@
# Guidebook without a suffix is usually a copy of Guidebook.txt. The
# latter is managed by git because it is part of the source distribution.
# We don't want both copies.
Guidebook
# various intermediate files or generated output, not to be tracked.
Guidebook.aux
Guidebook.dvi
Guidebook.log
Guidebook.pdf
Guidebook.synctex.gz
Guidebook.ps
*.synctex.*