fixed lint issues
parent
e41286888c
commit
dd546e426b
|
|
@ -37,7 +37,6 @@ function git_revert() {
|
|||
git reset --hard
|
||||
}
|
||||
|
||||
|
||||
function git_restore_file() {
|
||||
about 'restore the deleted file from HEAD'
|
||||
group 'git'
|
||||
|
|
|
|||
Loading…
Reference in New Issue