gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

emacsPackages.idris2-mode: add AndersonTorres as maintainer

Browse Source 
wuyoli's latest commit is at least one year old.
This commit is contained in:
Anderson Torres
2024-07-28 14:13:31 -03:00
parent 2014517409
commit 66d049701d
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/applications/editors/emacs/elisp-packages/manual-packages/idris2-mode/package.nix
+1 -1
View File
@@ -30,6 +30,6 @@ melpaBuild {
homepage = "https://github.com/idris-community/idris2-mode";
description = "Emacs mode for editing Idris 2 code";
license = lib.licenses.gpl3Only;
maintainers = with lib.maintainers; [ wuyoli ];
maintainers = with lib.maintainers; [ wuyoli AndersonTorres ];
};
}