mirror of
https://github.com/correl/melpa.git
synced 2024-12-18 19:21:32 +00:00
1 line
66 B
Text
1 line
66 B
Text
(flycheck-dedukti :fetcher github :repo "rafoo/flycheck-dedukti")
|