github-actions[bot] 1248da4423 remove link to relocated manual page (#10706) ... fix old anchor redirects to point to the correct location (cherry picked from commit 45697ba502) Co-authored-by: Valentin Gagarin <valentin.gagarin@tweag.io>		2024-05-15 22:41:26 +02:00
..
internal-api	Simplify RapidCheck configure	2024-01-15 08:05:05 -05:00
manual	remove link to relocated manual page (#10706)	2024-05-15 22:41:26 +02:00