Apply a patch
From MapbenderWiki
You can apply a patch in various ways:
command line
Change directory to the Mapbender directory and type
patch < filename
for further reading, visit Wikipedia's article on patch (UNIX)
Eclipse
- right-click on "mapbender" directory → Team → Apply patch
- select the file → "next"
- review the changes
- "Finish"
See also: Create a patch
