mirror of
https://github.com/correl/melpa.git
synced 2024-12-01 19:19:53 +00:00
2 lines
58 B
Text
2 lines
58 B
Text
|
(dedukti-mode :fetcher github :repo "rafoo/dedukti-mode")
|