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 /shared/2configs/temp/dirs.nix | |
| parent | c213968c44befe32f115ec0122accebdabd89582 (diff) | |
merge shared into krebs
Diffstat (limited to 'shared/2configs/temp/dirs.nix')
| -rw-r--r-- | shared/2configs/temp/dirs.nix | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/shared/2configs/temp/dirs.nix b/shared/2configs/temp/dirs.nix deleted file mode 100644 index 958608a54..000000000 --- a/shared/2configs/temp/dirs.nix +++ /dev/null @@ -1 +0,0 @@ -_: { } |