1
0
mirror of https://git.savannah.gnu.org/git/guix.git synced 2026-04-21 09:40:28 +02:00
Files
guix/gnu/packages/lean.scm
Amin Bandali a3143063ae Update email address for Amin Bandali.
* .mailmap: Add name and email addresses for Amin Bandali.
* gnu/local.mk, gnu/packages/emacs-xyz.scm, gnu/packages/emacs.scm,
gnu/packages/fpga.scm, gnu/packages/lean.scm, gnu/packages/maths.scm:
Update email address for Amin Bandali.

Signed-off-by: Tobias Geerinckx-Rice <me@tobias.gr>
2020-01-17 18:30:33 +01:00

2.6 KiB