Branch display filtering according to user access permissions.

Luca Milanesio

2012-12-02 9da9764c5073118fc3b46bb360e1071426a9b9f4

 build.xml

@@ -496,6 +496,11 @@
            <exclude name="com/gitblit/Launcher*.class" />

         </fileset>

      </copy>

      <copy todir="${project.jar.dir}/static">

         <fileset dir="${project.resources.dir}">

            <exclude name="thumbs.db" />

         </fileset>

      </copy>



      <!-- Build the JAR file -->

      <jar basedir="${project.jar.dir}" destfile="${distribution.jarfile}" compress="true" />