mirror of
https://github.com/correl/melpa.git
synced 2025-02-26 03:00:21 +00:00
2 lines
66 B
Text
2 lines
66 B
Text
|
(flycheck-dedukti :fetcher github :repo "rafoo/flycheck-dedukti")
|