Skip to content

Commit d9bd760

Browse files
committed
Retire the no-longer-needed script adjust-hrefs.js
It was a one-shot script whose job is done. Signed-off-by: Johannes Schindelin <[email protected]>
1 parent 1d25ad7 commit d9bd760

File tree

1 file changed

+0
-22
lines changed

1 file changed

+0
-22
lines changed

adjust-hrefs.js

Lines changed: 0 additions & 22 deletions
This file was deleted.

0 commit comments

Comments
 (0)