common/tools/generate_diamonds_tags_xml.pl
changeset 1047 ee03efed9e3c
parent 693 9f583ada8e4e
equal deleted inserted replaced
1046:871bdf0d7610 1047:ee03efed9e3c