remove extra line

adam-7 · Aug 6, 2019 · 6d19ea3 · 6d19ea3
1 parent 4284744
commit 6d19ea3
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/doc/reference/core-prelude.md b/doc/reference/core-prelude.md
@@ -1769,7 +1769,6 @@ OS-related symbols, including time.
   tty-text-attributes-set! tty-mode-reset tty-mode-set!
   tty-type-set!
 
-
 ```
 #### :gerbil/gambit/ports
 Symbols related to i/o ports, with a couple of Gerbil specific primitives.