xref: /AOO42X/main/hsqldb/patches/script.patch (revision 132eec79d93534b18589aae345338ead989e92d0)