commit | a8c95116d3b1710a3652b421a39757d7e6f47012 | [log] [tgz] |
---|---|---|
author | Benny Siegert <bsiegert@gmail.com> | Mon Feb 12 11:52:40 2018 +0100 |
committer | GitHub <noreply@github.com> | Mon Feb 12 11:52:40 2018 +0100 |
tree | 4852f145c9b59dc44cdd61fc6f30d765605320d3 | |
parent | 00b1c74a506f31b0d857761cece3470ff3e85fd7 [diff] |
Delete OWNERS
diff --git a/OWNERS b/OWNERS deleted file mode 100644 index 614c085..0000000 --- a/OWNERS +++ /dev/null
@@ -1,4 +0,0 @@ -gchatelet -courbet - -mdb-group:research-compilers-team