gdritter repos gidl-mode / 3f6a954
markdown linkss Getty Ritter 8 years ago
1 changed file(s) with 2 addition(s) and 2 deletion(s). Collapse all Expand all
1 A major mode for editing [https://github.com/GaloisInc/gidl](GIDL) files.
1 A major mode for editing [GIDL](https://github.com/GaloisInc/gidl) files.
22 This mode is also available through a package archive hosted at
3 [http://gelpa.gdritter.com/](`gelpa.gdritter.com`), which means you can
3 [`gelpa.gdritter.com`](http://gelpa.gdritter.com/), which means you can
44 install it by adding
55
66 ~~~~