log src/tools/xml_tools.py @ 1829:6079752ffeae

age author description
2016-01-22 Goffi core (xml_tools): added a method to find all elements corresponding to criteria