comparison debian/patches/12_optional_xml_elements @ 11:8b62360dc2a5 default tip

Adding notes, cloning edit-gui
author Peter Gervai <grin@grin.hu>
date Sun, 02 Nov 2008 16:29:52 +0100
parents c5749e43b1d7
children
comparison
equal deleted inserted replaced
10:f962189bab94 11:8b62360dc2a5