diff options
author | Ulrich Müller <ulm@gentoo.org> | 2020-01-15 19:46:10 +0100 |
---|---|---|
committer | Ulrich Müller <ulm@gentoo.org> | 2020-01-15 22:28:47 +0100 |
commit | dcc14c2f62399bab71d7b22b41c2e8f449a0c515 (patch) | |
tree | 7cd83ec87e729f4c33258f270f345681fa90a735 /profiles | |
parent | devbook-guide: Section on including sub-documents. (diff) | |
download | devmanual-dcc14c2f62399bab71d7b22b41c2e8f449a0c515.tar.gz devmanual-dcc14c2f62399bab71d7b22b41c2e8f449a0c515.tar.bz2 devmanual-dcc14c2f62399bab71d7b22b41c2e8f449a0c515.zip |
Use source form of URI fragment identifiers throughout.
Signed-off-by: Ulrich Müller <ulm@gentoo.org>
Diffstat (limited to 'profiles')
0 files changed, 0 insertions, 0 deletions