diff options
author | Ulrich Müller <ulm@gentoo.org> | 2022-10-01 11:36:26 +0200 |
---|---|---|
committer | Ulrich Müller <ulm@gentoo.org> | 2022-10-01 11:36:26 +0200 |
commit | eb8e27333c076a55d0a5633a53efcde4e79d9984 (patch) | |
tree | 254b12bb6cc72b4afa87418d57ee429b4908673e /devmanual | |
parent | metadata.rnc: Update from DTD (diff) | |
download | nxml-gentoo-schemas-eb8e27333c076a55d0a5633a53efcde4e79d9984.tar.gz nxml-gentoo-schemas-eb8e27333c076a55d0a5633a53efcde4e79d9984.tar.bz2 nxml-gentoo-schemas-eb8e27333c076a55d0a5633a53efcde4e79d9984.zip |
Add dtd and devmanual repos as submodules
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 new file mode 160000 +Subproject f73fcfb9352f815d44a0198516ac759caa6e09e |