summaryrefslogtreecommitdiff
path: root/docs/.gitignore (follow)
Commit message (Expand)AuthorAgeFilesLines
* docs/.gitignore: Delete because emptyRunxi Yu11 days1-0/+0
* docs: TeXinfo kinda sucks, removingRunxi Yu2024-09-301-13/+0
* Add an admin handbook stubRunxi Yu2024-09-271-0/+10
* Add a .gitignore to ignore generated .html files from TeXinfoRunxi Yu2024-09-271-0/+3