7 Aug
2022
7 Aug
'22
7:33 p.m.
when i downloaded with wget --mirror, it left index.html files that break building. i have removed them. i am rebasing all the commits so as to put the removal prior to the changes, so that a patch can be formed easily from the git history later.