summaryrefslogtreecommitdiff
path: root/lib/progdoc
AgeCommit message (Collapse)Author
2018-12-14Doc: Rename code documentation files back to DocOndrej Zajicek (work)
2018-06-26Doc: renamed progdoc files Doc -> progdoc to fix collision with doc/ folder ↵Maria Matejka
on case-insensitive filesystems