Erwin Boskma a1d49dcf56 Set git push.default to 'current'		2022-05-19 21:42:17 +02:00
..
default.nix	Set git push.default to 'current'	2022-05-19 21:42:17 +02:00