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

