fix redirects
authorMichael Wallner <mike@php.net>
Thu, 9 Sep 2021 19:31:21 +0000 (21:31 +0200)
committerMichael Wallner <mike@php.net>
Thu, 9 Sep 2021 19:31:21 +0000 (21:31 +0200)
commit5573dd409e834ec676570cbb4b00a217cb4464b9
treee6ae9fc6ae163c4d7c581ea0f475825ec21876ee
parent4ffa9c1a8ae198ffc05e27ad77906014961987e7
fix redirects
bin/ref2html