index
:
gedit
debian
progress-linux
upstream
debian 11: gedit
Progress Linux
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
help
/
C
/
schematron.sh
blob: dc69b438039c394028576a7a5aa60afe1520d21b (
plain
)
1
xmllint
--noout
--schematron
gnome-help.sct
./*.page
2
>
&
1
|
grep
-v
validates
