jeschli 78ed3c6955 j brauerei: +gnupg		2019-04-25 11:47:24 +02:00
..
config.nix	j brauerei: +gnupg	2019-04-25 11:47:24 +02:00
hardware-configuration.nix	j brauerei: enable pulseaudio	2018-07-31 19:22:32 +02:00