diff options
Diffstat (limited to 'third_party/re2/CONTRIBUTORS')
| -rw-r--r-- | third_party/re2/CONTRIBUTORS | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/third_party/re2/CONTRIBUTORS b/third_party/re2/CONTRIBUTORS index 15053eb5..0b70807 100644 --- a/third_party/re2/CONTRIBUTORS +++ b/third_party/re2/CONTRIBUTORS @@ -27,7 +27,6 @@ # Please keep the list sorted. Brian Gunlogson <unixman83@gmail.com> -Dominic Battré <battre@chromium.org> Rob Pike <r@google.com> Russ Cox <rsc@swtch.com> Sanjay Ghemawat <sanjay@google.com> |