ApplyPatchTool
From WandoraWiki
(Difference between revisions)
| Line 1: | Line 1: | ||
{{Tool_s_GUI_name_title}} | {{Tool_s_GUI_name_title}} | ||
| + | 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 [[Comparing topic maps]]. | ||
{{Tool_s_class_title}} | {{Tool_s_class_title}} | ||
Revision as of 12:01, 26 February 2009
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 Comparing topic maps.
