diff options
author | Yuri Sizov <yuris@humnom.net> | 2022-08-26 19:04:11 +0300 |
---|---|---|
committer | Yuri Sizov <yuris@humnom.net> | 2022-08-26 19:13:41 +0300 |
commit | a287276ef0310393351cfa8f56de75851b00624a (patch) | |
tree | 4b973403e17377abe381764d84c1d7adab5e3219 /thirdparty/oidn | |
parent | c8ef12a03a81c931480be41739ba5789415c4675 (diff) |
Make cross-link generation more reliable in RST documentation
Diffstat (limited to 'thirdparty/oidn')
0 files changed, 0 insertions, 0 deletions