Updated repo for mip-mode.

My username has changed.
This commit is contained in:
gaudecker 2014-09-30 12:14:51 +03:00
parent 35cd654bd7
commit 59f53fdad2

View file

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