Age | Commit message (Expand) | Author |
---|---|---|
2019-05-22 | mirrors.php: redirect from human-readable to json for now | Erich Eckner |
2019-05-22 | remove spaces | Erich Eckner |
2019-05-22 | merge mirrors/*.php to mirrors.php | Erich Eckner |
index : website | ||
Tools for the web frontend |
summaryrefslogtreecommitdiff |
Age | Commit message (Expand) | Author |
---|---|---|
2019-05-22 | mirrors.php: redirect from human-readable to json for now | Erich Eckner |
2019-05-22 | remove spaces | Erich Eckner |
2019-05-22 | merge mirrors/*.php to mirrors.php | Erich Eckner |