]> git.pld-linux.org Git - packages/jenkins.git/tree
- use webxml.patch instead of installing own version of web.xml.
-rw-r--r-- 165 context.xml
-rw-r--r-- 2708 jenkins.spec
-rw-r--r-- 3852 web.xml
-rw-r--r-- 456 webxml.patch
This page took 0.191822 seconds and 4 git commands to generate.