summaryrefslogtreecommitdiff
path: root/.gitlab-ci.yml
AgeCommit message (Expand)AuthorFilesLines
2018-12-17website: Convert Makefile to build-html.sh shell scriptHEADmasterJordan Justen1-2/+1
2018-12-17sphinx: Change theme from alabaster to flaskJordan Justen1-0/+1
2018-12-17.gitlab-ci.yml: Build the website when the docs directory changesJordan Justen1-0/+17