diff options
| author | gregoire.detrez <gregoire.detrez@gu.se> | 2013-08-22 15:26:26 +0000 |
|---|---|---|
| committer | gregoire.detrez <gregoire.detrez@gu.se> | 2013-08-22 15:26:26 +0000 |
| commit | 8d873c8a3217e4389124a173071ddbf9d9c00b14 (patch) | |
| tree | 29c9357eb6eb891eab15c811d65cdaaa155f11c3 /doc/gf-editor-modes.t2t | |
| parent | 179143ae31c9ead317d653448e800c501c5aabb0 (diff) | |
Add vim and eclipse in the page about editor modes (fix)
Diffstat (limited to 'doc/gf-editor-modes.t2t')
| -rw-r--r-- | doc/gf-editor-modes.t2t | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/gf-editor-modes.t2t b/doc/gf-editor-modes.t2t index d4584fa04..64d998e06 100644 --- a/doc/gf-editor-modes.t2t +++ b/doc/gf-editor-modes.t2t @@ -17,7 +17,7 @@ welcome! automatic indentation and lets you run the GF Shell in an emacs buffer. See installation instructions inside. -== Eclipse == +==Eclipse== [GF Eclipse Plugin http://www.grammaticalframework.org/eclipse/index.html] @@ -70,6 +70,6 @@ GF=*.gf ``` -== Vim == +==Vim== [vim-gf https://github.com/gdetrez/vim-gf] |