diff options
| -rw-r--r-- | mentoring/OWNERS (renamed from monitoring/OWNERS) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/monitoring/OWNERS b/mentoring/OWNERS index a6101b13..a6101b13 100644 --- a/monitoring/OWNERS +++ b/mentoring/OWNERS |
 |
index : community.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Mike Vink |
| summaryrefslogtreecommitdiff |