mirror of
https://github.com/dimitri/el-get.git
synced 2024-09-29 04:58:53 +08:00
6 lines
166 B
Plaintext
6 lines
166 B
Plaintext
(:name why3-mode
|
|
:description "GNU Emacs mode for Why3"
|
|
:type git
|
|
:url "https://gist.github.com/46a92bcc41abfecf4d79.git"
|
|
:features why3)
|