aboutsummaryrefslogtreecommitdiffstats
path: root/doc/index.html.in
AgeCommit message (Expand)AuthorFilesLines
2022-09-09Fix documentation indexDavid Robillard1-1/+0
2022-07-17Rearrange source tree to be directly usable by dependantsDavid Robillard1-1/+1
2022-07-17Consistently use the prefix "dcterms" everywhereDavid Robillard1-2/+2
2020-04-10Update documentation styleDavid Robillard1-1/+0
2019-03-24Remove history from top level specifications pageDavid Robillard1-15/+1
2019-03-24Use lighter and more consistent documentation styleDavid Robillard1-68/+67
2018-09-22Install standard headers to simpler include pathsDavid Robillard1-0/+96