diff options
| -rw-r--r-- | nix/OWNERS (renamed from nix/escapeExecline/OWNERS) | 0 | ||||
| -rw-r--r-- | nix/getBins/OWNERS | 3 | ||||
| -rw-r--r-- | nix/runExecline/OWNERS | 3 | ||||
| -rw-r--r-- | nix/writeExecline/OWNERS | 3 |
4 files changed, 0 insertions, 9 deletions
diff --git a/nix/escapeExecline/OWNERS b/nix/OWNERS index a742d0d22bf6..a742d0d22bf6 100644 --- a/nix/escapeExecline/OWNERS +++ b/nix/OWNERS diff --git a/nix/getBins/OWNERS b/nix/getBins/OWNERS deleted file mode 100644 index a742d0d22bf6..000000000000 --- a/nix/getBins/OWNERS +++ /dev/null @@ -1,3 +0,0 @@ -inherited: true -owners: - - Profpatsch diff --git a/nix/runExecline/OWNERS b/nix/runExecline/OWNERS deleted file mode 100644 index a742d0d22bf6..000000000000 --- a/nix/runExecline/OWNERS +++ /dev/null @@ -1,3 +0,0 @@ -inherited: true -owners: - - Profpatsch diff --git a/nix/writeExecline/OWNERS b/nix/writeExecline/OWNERS deleted file mode 100644 index a742d0d22bf6..000000000000 --- a/nix/writeExecline/OWNERS +++ /dev/null @@ -1,3 +0,0 @@ -inherited: true -owners: - - Profpatsch |