diff options
author | 2022-10-01 11:36:26 +0200 | |
---|---|---|
committer | 2022-10-01 11:36:26 +0200 | |
commit | eb8e27333c076a55d0a5633a53efcde4e79d9984 (patch) | |
tree | 254b12bb6cc72b4afa87418d57ee429b4908673e /.gitignore | |
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 '.gitignore')
0 files changed, 0 insertions, 0 deletions