diff options
author | Pascal Wittmann <mail@pascal-wittmann.de> | 2014-02-04 14:56:42 +0100 |
---|---|---|
committer | Vladimír Čunát <vcunat@gmail.com> | 2014-02-04 18:56:24 +0100 |
commit | e8b0001268fae60ca22eeb6e346443012f4766ff (patch) | |
tree | 692646dc0ac05cbb7514980f320d233f3d95f75d | |
parent | 81408168f2599104c2633c00dca54a1f03578951 (diff) |
idris-mode: fixed link to homepage (merge #1671)
-rw-r--r-- | pkgs/applications/editors/emacs-modes/idris/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/editors/emacs-modes/idris/default.nix b/pkgs/applications/editors/emacs-modes/idris/default.nix index 7bd39cd2b4e0e..572ca8cdb22a3 100644 --- a/pkgs/applications/editors/emacs-modes/idris/default.nix +++ b/pkgs/applications/editors/emacs-modes/idris/default.nix @@ -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; |