remove some vestigial files
[~bandali/bndl.org] / gpl-3.0.html
2020-03-28 Amin Bandaliconvert the site back into hand-written html
2019-11-29 Amin Bandalivarious style tweaks
2019-11-21 Amin Bandalicommit another bunch of changes