diff options
author | JJ | 2024-01-28 09:32:52 +0000 |
---|---|---|
committer | JJ | 2024-01-28 09:32:52 +0000 |
commit | 22c4776f9fddef47a6ce3f309e4eafa2fbdc3a65 (patch) | |
tree | 49101d75a3f980eb8f8560f464f816a6fb9c564a /docs/book/.nojekyll | |
parent | a409dd7ea7d6d363d5ef971526b81d95e6add51d (diff) |
docs: host mdbook
Diffstat (limited to 'docs/book/.nojekyll')
-rw-r--r-- | docs/book/.nojekyll | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/book/.nojekyll b/docs/book/.nojekyll new file mode 100644 index 0000000..f173110 --- /dev/null +++ b/docs/book/.nojekyll @@ -0,0 +1 @@ +This file makes sure that Github Pages doesn't process mdBook's output. |