diff options
| -rw-r--r-- | org.eclipse.jgit/.settings/.api_filters | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/org.eclipse.jgit/.settings/.api_filters b/org.eclipse.jgit/.settings/.api_filters deleted file mode 100644 index 50a04d20f0..0000000000 --- a/org.eclipse.jgit/.settings/.api_filters +++ /dev/null @@ -1,19 +0,0 @@ -<?xml version="1.0" encoding="UTF-8" standalone="no"?> -<component id="org.eclipse.jgit" version="2"> - <resource path="src/org/eclipse/jgit/gitrepo/RepoProject.java" type="org.eclipse.jgit.gitrepo.RepoProject"> - <filter id="1141899266"> - <message_arguments> - <message_argument value="7.0"/> - <message_argument value="6.10"/> - <message_argument value="getDestBranch()"/> - </message_arguments> - </filter> - <filter id="1141899266"> - <message_arguments> - <message_argument value="7.0"/> - <message_argument value="6.10"/> - <message_argument value="setDestBranch(String)"/> - </message_arguments> - </filter> - </resource> -</component> |