ApplyPatchTool

GUI name

Tool is used to apply special patch file to current topic map. Patch file is created with Wandora's topic map diff tool discussed in page Compare topic maps.

Tool Class

org.wandora.application.tools.ApplyPatchTool