|
1systems
|
{tv,krebs}: import krebs pkgs with lib
|
2015-08-28 22:27:23 +02:00 |
|
2configs
|
{tv,krebs}: import krebs pkgs with lib
|
2015-08-28 22:27:23 +02:00 |
|
3modules
|
tv: reintroduce directory numbers
|
2015-07-28 20:40:25 +02:00 |
|
4lib
|
{tv/4lib shell-escape,krebs/4lib/shell.nix escape}
|
2015-08-28 20:15:57 +02:00 |
|
5pkgs
|
krebs += pkgs.writeC lib.toC
|
2015-08-28 21:31:59 +02:00 |
