diff options
Diffstat (limited to 'ops/infra/.skip-subtree')
| -rw-r--r-- | ops/infra/.skip-subtree | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/ops/infra/.skip-subtree b/ops/infra/.skip-subtree deleted file mode 100644 index cee24b7579..0000000000 --- a/ops/infra/.skip-subtree +++ /dev/null @@ -1,2 +0,0 @@ -Code under //ops/infra is mostly configuration for other tools, not -Nix derivations to be built. |