diff options
| author | James Moger <james.moger@gitblit.com> | 2011-10-10 19:12:00 -0400 |
|---|---|---|
| committer | James Moger <james.moger@gitblit.com> | 2011-10-10 19:12:00 -0400 |
| commit | 51e21e040c65781cea10b54365e87fa8e0459737 (patch) | |
| tree | bfd774b72f7f5ff9a8e349167c991da017261bc2 /build.xml | |
| parent | 55cecdbb6c961441330c928f9ed587582f317f4b (diff) | |
| parent | 70b492b89bdad54abc10795d12f306d8972d94a7 (diff) | |
| download | gitblit-51e21e040c65781cea10b54365e87fa8e0459737.tar.gz gitblit-51e21e040c65781cea10b54365e87fa8e0459737.zip | |
Merge branch 'master' into rpc
Diffstat (limited to 'build.xml')
| -rw-r--r-- | build.xml | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -210,6 +210,7 @@ <include name="book_16x16.png" />
<include name="blank.png" />
<include name="federated_16x16.png" />
+ <include name="arrow_page.png" />
</fileset>
<!-- Copy Doc images -->
@@ -489,6 +490,7 @@ <include name="book_16x16.png" />
<include name="blank.png" />
<include name="federated_16x16.png" />
+ <include name="arrow_page.png" />
</fileset>
<!-- Copy Doc images -->
@@ -699,4 +701,4 @@ <delete dir="${project.war.dir}" />
<delete dir="${project.deploy.dir}" />
</target>
-</project>
\ No newline at end of file +</project> |