diff options
| author | John J. Camilleri <john@digitalgrammars.com> | 2018-11-29 09:55:28 +0100 |
|---|---|---|
| committer | John J. Camilleri <john@digitalgrammars.com> | 2018-11-29 09:55:28 +0100 |
| commit | 001d036a2ca10ff045e00b1d1b03dfcd5d821072 (patch) | |
| tree | 214d22aca6dfadd728a6180e010dea9b2d0e8820 | |
| parent | fe7d01f7e31ecf5bc0a818823ab844c1477db86c (diff) | |
Remove t2t frontmatter from gf-editor-modes
Trying to force a rebuild
| -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! |