Skip to content
Permalink
4.17.6
Switch branches/tags

Name already in use

A tag already exists with the provided branch name. Many Git commands accept both tag and branch names, so creating this branch may cause unexpected behavior. Are you sure you want to create this branch?
Go to file
@mchyzer
Latest commit 3db441a Jan 4, 2025 History
1 contributor

Users who have contributed to this file

2 lines (2 sloc) 195 Bytes
# note: get the server.xml into the original, adjust server.xml.grouper, make sure it ends with newline if the file does
diff -u server.xml.original server.xml.grouper > server.xml.grouper.patch