diff options
author | tv <tv@krebsco.de> | 2017-07-14 00:17:58 +0200 |
---|---|---|
committer | tv <tv@krebsco.de> | 2017-07-14 00:21:02 +0200 |
commit | 58380c82848c3db0bd6c3d74904153f3464c2098 (patch) | |
tree | dcefa424c037ef13edba18967143b3290dc739cb /krebs/2configs/temp/dirs.nix | |
parent | c213968c44befe32f115ec0122accebdabd89582 (diff) |
merge shared into krebs
Diffstat (limited to 'krebs/2configs/temp/dirs.nix')
-rw-r--r-- | krebs/2configs/temp/dirs.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/krebs/2configs/temp/dirs.nix b/krebs/2configs/temp/dirs.nix new file mode 100644 index 000000000..958608a54 --- /dev/null +++ b/krebs/2configs/temp/dirs.nix @@ -0,0 +1 @@ +_: { } |