mirrors
/
jgit
mirror of https://github.com/eclipse/jgit.git
Watch 1
Star 0
Fork 0
Code Issues 0 Releases 204 Wiki Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
8136 Commits
49 Branches
Tree: 5eabd6995a
Branches Tags
${ item.name }
Create branch ${ searchTerm }
from '5eabd6995a'
${ noResults }
jgit/org.eclipse.jgit.benchmarks/findBugs/FindBugsExcludeFilter.xml

FindBugsExcludeFilter.xml 271B
Raw Blame History

12345678 
  1. <?xml version="1.0" encoding="UTF-8" ?>

  2. <FindBugsFilter>

  3.      <!-- Silence warnings in classes generated by apt -->

  4.      <Match>

  5.        <Package name="org.eclipse.jgit.benchmarks.generated" />

  6.        <Bug pattern="DLS_DEAD_LOCAL_STORE" />

  7.      </Match>

  8. </FindBugsFilter>