summary refs log tree commit diff
path: root/doc/.gitignore
AgeCommit message (Expand)AuthorFilesLines
2023-04-13doc/.gitignore: add mediaAdam Joseph1-0/+1
2023-02-23doc: add `result` to .gitignoreNaïm Favier1-0/+2
2019-03-08doc: format the documentation (#57102)Wael Nasreddine1-3/+4
2018-10-05Generate links to function definitionsGraham Christensen1-0/+1
2018-03-26nixpkgs docs: syntax highlightGraham Christensen1-0/+1
2018-03-25Ignore generated XML and other generated filesGraham Christensen1-0/+5