1
0
Fork 0
mirror of https://github.com/correl/melpa.git synced 2024-12-30 11:01:51 +00:00
melpa/recipes/flycheck-dedukti

2 lines
66 B
Text
Raw Normal View History

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