I forgot to git add some files, oops (should be squashed with MR)
authorIlja <domainepublic@spectraltheorem.be>
Mon, 22 Jun 2020 12:18:55 +0000 (14:18 +0200)
committerIlja <domainepublic@spectraltheorem.be>
Mon, 22 Jun 2020 12:18:55 +0000 (14:18 +0200)
commit1e089cdf2905309a5450e2acb32aa6b35a928c29
tree04b90dc4ecbb069a41c0a22d8ae5546b5a900422
parenta3b10a4f643d574b84ecee51fb891e26e7f0dbc2
I forgot to git add some files, oops (should be squashed with MR)
docs/configuration/howto_theming_your_instance.md
docs/dev.md
docs/introduction.md [deleted file]