diff options
author | Ulrich Müller <ulm@gentoo.org> | 2024-10-31 20:10:36 +0100 |
---|---|---|
committer | Ulrich Müller <ulm@gentoo.org> | 2024-10-31 20:10:36 +0100 |
commit | 3d543ce1b29808478ad09cf70cac8a0b7f7a9f83 (patch) | |
tree | 44cd05596459f684a1e81763748b540f72f051da /devmanual | |
parent | schemas.xml: Explicitly require an empty prefix (diff) | |
download | nxml-gentoo-schemas-3d543ce1b29808478ad09cf70cac8a0b7f7a9f83.tar.gz nxml-gentoo-schemas-3d543ce1b29808478ad09cf70cac8a0b7f7a9f83.tar.bz2 nxml-gentoo-schemas-3d543ce1b29808478ad09cf70cac8a0b7f7a9f83.zip |
devbook.rnc: Update from devmanual
Signed-off-by: Ulrich Müller <ulm@gentoo.org>
Diffstat (limited to 'devmanual')
m--------- | devmanual | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/devmanual b/devmanual -Subproject bd474970728035c6286f1071162efefd6f8d63e +Subproject a104fe1378cebfb50494565fb0d2cb589a68283 |