Merge pull request #2053 from gaudecker/patch-1

Updated repo for mip-mode.
This commit is contained in:
Steve Purcell 2014-09-30 10:27:51 +01:00
commit 815ce14f77

View file

@ -1 +1 @@
(mip-mode :fetcher github :repo "da4c30ff/mip-mode")
(mip-mode :fetcher github :repo "gaudecker/mip-mode")