mirror of
https://github.com/dimitri/el-get.git
synced 2024-09-29 04:58:53 +08:00
7 lines
183 B
Plaintext
7 lines
183 B
Plaintext
|
(:name tla-tools
|
||
|
:description "TLA+ tools for Emacs"
|
||
|
:type github
|
||
|
:pkgname "mrc/tla-tools"
|
||
|
:features (tla-tools tla-pcal-mode)
|
||
|
:depends (polymode))
|