idris-mode: fixed link to homepage (merge #1671)
This commit is contained in:
parent
81408168f2
commit
e8b0001268
@ -22,7 +22,7 @@ stdenv.mkDerivation rec {
|
||||
|
||||
meta = {
|
||||
description = "Emacs major mode for Idris";
|
||||
homepage = https://github.com/idris-hackers/idris-modehttps://github.com/idris-hackers/idris-mode;
|
||||
homepage = https://github.com/idris-hackers/idris-mode;
|
||||
license = "GPLv3";
|
||||
|
||||
platforms = stdenv.lib.platforms.all;
|
||||
|
Loading…
x
Reference in New Issue
Block a user