diff options
author | Ian Gudger <igudger@google.com> | 2018-10-19 16:34:09 -0700 |
---|---|---|
committer | Shentubot <shentubot@google.com> | 2018-10-19 16:35:11 -0700 |
commit | 8fce67af24945f82378b4c2731cca1788936d074 (patch) | |
tree | 1d373ed4e365a3e4fe6be827deda5aa0c15e78b7 /tools/workspace_status.sh | |
parent | f3ffa4db525ea1a1d36307ea9593ed7b5e014ca7 (diff) |
Use correct company name in copyright header
PiperOrigin-RevId: 217951017
Change-Id: Ie08bf6987f98467d07457bcf35b5f1ff6e43c035
Diffstat (limited to 'tools/workspace_status.sh')
-rwxr-xr-x | tools/workspace_status.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/workspace_status.sh b/tools/workspace_status.sh index d89db1f99..7d44dad37 100755 --- a/tools/workspace_status.sh +++ b/tools/workspace_status.sh @@ -1,6 +1,6 @@ #!/bin/bash -# Copyright 2018 Google Inc. +# Copyright 2018 Google LLC # # Licensed under the Apache License, Version 2.0 (the "License"); # you may not use this file except in compliance with the License. |