2 commits

Author	SHA1	Message	Date
ajs124	3f7b8b9eac	emacs.pkgs.agda2-mode: fix	2021-09-17 14:35:18 +02:00
AndersonTorres	f91dce387a	emacsPackages.agda2-mode: extract from manual-packages.nix	2021-09-15 14:27:26 -03:00