1systems
|
ma wbob.r: deploy home-manager
|
2020-07-14 22:34:53 +02:00 |
2configs
|
ma tools/media: remove whitespace
|
2020-07-14 19:27:39 +02:00 |
3modules
|
ma etherpad module: init
|
2020-07-02 08:41:32 +02:00 |
4lib
|
ma 4 default: prepare backups
|
2016-04-03 21:55:01 +02:00 |
default.nix
|
ma: refactor module loading of 5pkgs
|
2017-07-23 10:09:28 +02:00 |
krops.nix
|
ma home-manager: bump, fix deprecations
|
2020-04-23 17:07:43 +02:00 |
nixpkgs.json
|
ma nixpkgs.json: bump revision
|
2019-03-06 16:45:52 +01:00 |
update-channel.sh
|
ma krops: RIP deployment option
|
2018-11-30 23:18:53 +01:00 |