mirror of
https://github.com/dimitri/el-get.git
synced 2024-09-29 04:58:53 +08:00
add tla-tools package
This commit is contained in:
parent
8f60d6249a
commit
6ecdd0c462
6
recipes/tla-tools.rcp
Normal file
6
recipes/tla-tools.rcp
Normal file
|
@ -0,0 +1,6 @@
|
|||
(:name tla-tools
|
||||
:description "TLA+ tools for Emacs"
|
||||
:type github
|
||||
:pkgname "mrc/tla-tools"
|
||||
:features (tla-tools tla-pcal-mode)
|
||||
:depends (polymode))
|
Loading…
Reference in New Issue
Block a user