MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

[git] remove unused method

Browse Source
This commit is contained in:
Kirill Likhodedov
2014-12-29 17:58:40 +03:00
parent 1811f6c91a
commit be9df92523
1 changed files with 0 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files
plugins/git4idea/src/git4idea/push/GitPushOperation.java
-7
View File
@@ -298,13 +298,6 @@ public class GitPushOperation {
});
}
@NotNull
private static <T> List<T> without(@NotNull List<T> collection, @NotNull T toRemove) {
List<T> result = ContainerUtil.newArrayList(collection);
result.remove(toRemove);
return result;
}
private int collectNumberOfPushedCommits(@NotNull VirtualFile root, @NotNull GitPushNativeResult result) {
if (result.getType() != GitPushNativeResult.Type.SUCCESS) {
return -1;