--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/xpath/extensions.st Tue May 12 12:20:53 2015 +0100 @@ -0,0 +1,4 @@ +"{ Package: 'stx:goodies/xmlsuite/xpath' }" + +! +