Valentin Gagarin 49bd408c10 remove link to relocated manual page (#10703) ... fix old anchor redirects to point to the correct location		2024-05-14 21:18:40 +00:00
..
external-api	doc/external-api/local.mk: Rebuild when headers change	2024-04-17 17:17:59 +02:00
internal-api	doc/internal-api/local.mk: Rebuild when headers change	2024-04-17 17:28:30 +02:00
manual	remove link to relocated manual page (#10703)	2024-05-14 21:18:40 +00:00