Hiding the tutorial

miking-lang · Mar 9, 2024 · 2db150a · 2db150a
1 parent 83fe542
commit 2db150a
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/docs/tutorials/coreppl-tutorial.md → docs/tutorials/.coreppl-tutorial.md b/docs/tutorials/coreppl-tutorial.md → docs/tutorials/.coreppl-tutorial.md