Public Git Hosting - oi-userland.git/tree - components/web/tomcat-8/patches/

summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
history | HEAD | snapshot (tar.gz zip)

[oi-userland.git] / components / web / tomcat-8 / patches /

tree	fa64f0e328e5f219f4973c8420d5d3200beb27d5

drwxr-xr-x		..
-rw-r--r--	1769	build.properties.patch	blob \| blame \| history \| raw
-rw-r--r--	3950	build.xml.patch	blob \| blame \| history \| raw
-rw-r--r--	1831	setenv.patch	blob \| blame \| history \| raw