Rémi Verschelde 32ddd4f4e0 Doctool: Remove version attribute from XML header 1 anno fa
..
RegEx.xml 32ddd4f4e0 Doctool: Remove version attribute from XML header 5 mesi fa
RegExMatch.xml 32ddd4f4e0 Doctool: Remove version attribute from XML header 5 mesi fa