From dd546e426b80317b82873d32b54a5fa315cfcba5 Mon Sep 17 00:00:00 2001 From: Gurkirat Singh Date: Tue, 4 May 2021 23:33:05 +0530 Subject: [PATCH] fixed lint issues --- plugins/available/git.plugin.bash | 1 - 1 file changed, 1 deletion(-) 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'