diff options
author | Luke Granger-Brown <git@lukegb.com> | 2022-09-19T02·53+0100 |
---|---|---|
committer | Luke Granger-Brown <git@lukegb.com> | 2022-09-19T11·13+0000 |
commit | f190712b7f35988cbf8520f6794ea99e91b8a630 (patch) | |
tree | a699f023fab0340732f27fd536357de910541c8d /third_party/overlays/dhall | |
parent | ae98240df2f9a9d11be85d61697532e17c1ed5f8 (diff) |
chore(gerrit): migrate OWNERS files to code-owners style r/4922
Change-Id: Iacc521dfdd4b4a2d5cef3920cf8189bcce35a488
Diffstat (limited to 'third_party/overlays/dhall')
-rw-r--r-- | third_party/overlays/dhall/OWNERS | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/third_party/overlays/dhall/OWNERS b/third_party/overlays/dhall/OWNERS index a742d0d22bf6..a64022791462 100644 --- a/third_party/overlays/dhall/OWNERS +++ b/third_party/overlays/dhall/OWNERS @@ -1,3 +1 @@ -inherited: true -owners: - - Profpatsch +Profpatsch |