File indexing completed on 2024-05-19 04:03:43
0001 #!/bin/sh 0002 schemadir=$(dirname "$0") 0003 xmllint --noout --schema "$schemadir"/language.xsd "$@"
File indexing completed on 2024-05-19 04:03:43
0001 #!/bin/sh 0002 schemadir=$(dirname "$0") 0003 xmllint --noout --schema "$schemadir"/language.xsd "$@"