add spec tests

This commit is contained in:
Noah Hellman 2022-11-12 18:46:13 +01:00
parent 40a612df95
commit 8c0abca85f
7 changed files with 143 additions and 0 deletions

3
.gitmodules vendored Normal file
View file

@ -0,0 +1,3 @@
[submodule "jgm/djot"]
path = modules/djot
url = git@github.com:jgm/djot.git