melpa/recipes/flycheck-dedukti

2 lines
66 B
Text
Raw Permalink Normal View History

2014-09-29 15:00:56 +00:00
(flycheck-dedukti :fetcher github :repo "rafoo/flycheck-dedukti")