diff options
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 6d961625e..fb09ff331 100755 --- a/tools/workspace_status.sh +++ b/tools/workspace_status.sh @@ -14,5 +14,5 @@ # See the License for the specific language governing permissions and # limitations under the License. -# The STABLE_ prefix will triger a re-link if it changes. +# The STABLE_ prefix will trigger a re-link if it changes. echo STABLE_VERSION $(git describe --always --tags --abbrev=12 --dirty) |