Eduard Bopp 84b5d5dfef Update my GitHub username ... I recently changed the username, so this reflects that change to make sure people find me. For confirmation, check that the GitHub ID is still 3098430 for my new username using the GitHub API: https://api.github.com/users/edibopp		2020-06-03 15:42:55 +02:00
..
default.nix	Update my GitHub username	2020-06-03 15:42:55 +02:00