Add a .mailmap file - Githubissues

VeriNum / LAProof

MIT License

6 stars 1 forks source link

Add a .mailmap file #14

Open JasonGross opened 1 year ago

JasonGross commented 1 year ago

For readability of git shortlog -nse