patch existdb git checkout on source build

eXist-db / existdb-ansible-role

Ansible role for eXist-db

GNU Lesser General Public License v2.1

11 stars 10 forks source link

Closed agh2342 closed 4 years ago

agh2342 commented 4 years ago

add ability to patch git checkouts of older existdb versions before source build