diff --git a/plugins/available/git.plugin.bash b/plugins/available/git.plugin.bash index 01d7b930..04e617cd 100644 --- a/plugins/available/git.plugin.bash +++ b/plugins/available/git.plugin.bash @@ -37,7 +37,6 @@ function git_revert() { git reset --hard } - function git_restore_file() { about 'restore the deleted file from HEAD' group 'git'