Merge branch 'master' of github.com:inkytonik/kiama

inkytonik · Sep 20, 2021 · 6cc821a · 6cc821a
2 parents 5d04ef4 + ca23c80
commit 6cc821a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/docs/_config.yml b/docs/_config.yml
@@ -0,0 +1 @@
+theme: jekyll-theme-minimal