1
0
Fork 0
mirror of https://github.com/correl/melpa.git synced 2024-12-29 19:15:09 +00:00
melpa/recipes/flycheck-dedukti
2014-09-29 17:00:56 +02:00

1 line
66 B
Text

(flycheck-dedukti :fetcher github :repo "rafoo/flycheck-dedukti")