diff options
| -rw-r--r-- | doc/gf-editor-modes.t2t | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/doc/gf-editor-modes.t2t b/doc/gf-editor-modes.t2t index 603025834..ffa6473ea 100644 --- a/doc/gf-editor-modes.t2t +++ b/doc/gf-editor-modes.t2t @@ -1,12 +1,6 @@ Editor modes & IDE integration for GF -%!style:../css/style.css -%!options(html): --toc -%!postproc(html): <TITLE> <meta name = "viewport" content = "width = device-width"><TITLE> -%!encoding:utf-8 -%!postproc(html): <H1> <H1><a href="../"><IMG src="../doc/Logos/gf0.png"></a> - We collect GF modes for various editors on this page. Contributions are welcome! |