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 /pkgs/applications/editors | |
| parent | 81408168f2599104c2633c00dca54a1f03578951 (diff) | |
| download | nixlib-e8b0001268fae60ca22eeb6e346443012f4766ff.tar nixlib-e8b0001268fae60ca22eeb6e346443012f4766ff.tar.gz nixlib-e8b0001268fae60ca22eeb6e346443012f4766ff.tar.bz2 nixlib-e8b0001268fae60ca22eeb6e346443012f4766ff.tar.lz nixlib-e8b0001268fae60ca22eeb6e346443012f4766ff.tar.xz nixlib-e8b0001268fae60ca22eeb6e346443012f4766ff.tar.zst nixlib-e8b0001268fae60ca22eeb6e346443012f4766ff.zip | |
idris-mode: fixed link to homepage (merge #1671)
Diffstat (limited to 'pkgs/applications/editors')
| -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 7bd39cd2b4e0..572ca8cdb22a 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; |