*

.gitignore

.gitlab-ci.yml

.gitmodules

build.gradle

gradle/wrapper/gradle-wrapper.jar

gradle/wrapper/gradle-wrapper.properties

gradlew

gradlew.bat

pages/.gitignore

pages/custom_theme/footer.html

pages/docs/index.md

pages/docs/using.md

pages/main.py

pages/mkdocs.yml

relast.preprocessor

settings.gradle

src/main/jastadd/GrammarToCoverage.jrag

...main/java/org/jastadd/preprocessor/coverage_gen/Main.java

src/main/resources/Coverage.mustache

src/main/resources/coverageGeneratorVersion.properties