diff options
| author | makefu <github@syntax-fehler.de> | 2016-04-08 16:08:29 +0200 |
|---|---|---|
| committer | makefu <github@syntax-fehler.de> | 2016-04-08 16:08:29 +0200 |
| commit | 45bb05d291402b9f8cf6d7227e96a7d07fac2dec (patch) | |
| tree | 9722896fde10a88e7ac9f2afaef0e71359214c49 /krebs/4lib/shell.nix | |
| parent | 5ba9bc516a261bfd993580a10dd8ba4c8766aebf (diff) | |
ma 5 taskserver: init
will be removed when #14506 is in upstream
Diffstat (limited to 'krebs/4lib/shell.nix')
0 files changed, 0 insertions, 0 deletions