Merge pull request #516 from google/change_HEAD

Project import generated by Copybara. Fix a broken function definition.
This commit is contained in:
Isaac Good 2020-02-13 11:36:17 -08:00 committed by GitHub
commit 29be9f76a1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -11,7 +11,7 @@ See README.md for details.
1 = shell.xml
2 = shell.md
The major number is also hard-coded at the bottom of this file. -->
Revision 2.00
Revision 2.01
Authored, revised and maintained by many Googlers.
@ -220,7 +220,7 @@ function get_dir() {
# Returns:
# 0 if thing was deleted, non-zero on error.
#######################################
function del_thing(arg) {
function del_thing() {
rm "$1"
}
```
@ -1277,4 +1277,4 @@ of the
[C++ Guide](https://google.github.io/styleguide/cppguide.html#Parting_Words).
Revision 2.00
Revision 2.01