about summary refs log tree commit diff
path: root/third_party/dhall/OWNERS
diff options
context:
space:
mode:
Diffstat (limited to 'third_party/dhall/OWNERS')
-rw-r--r--third_party/dhall/OWNERS3
1 files changed, 0 insertions, 3 deletions
diff --git a/third_party/dhall/OWNERS b/third_party/dhall/OWNERS
deleted file mode 100644
index a742d0d22bf6..000000000000
--- a/third_party/dhall/OWNERS
+++ /dev/null
@@ -1,3 +0,0 @@
-inherited: true
-owners:
-  - Profpatsch