update .gitignore

agrgr · agrgr · commit b7750b899e80 · 2025-02-05T16:34:23.000+02:00
diff --git a/.gitignore b/.gitignore
@@ -28,7 +28,5 @@ hs_err_pid*
 /out/
 /.idea
 
-# Preprocessed documentation for Github (see: https://github.com/github/markup/issues/1095)
-/asciidoc/
 /examples/target/
 /examples-reactive/target/
