diff options
| author | Erich Eckner <git@eckner.net> | 2018-07-10 09:20:53 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-07-10 09:20:53 +0200 |
| commit | 1bdfa0fa9de78c1139c300292d9d47e8e11d3ab0 (patch) | |
| tree | 8a24676383624196f81a70f1a5241bcb8865d0e4 /mirrors/index.php | |
| parent | 9722f5cd5e39e07113fc8aeb4e73ff180b85985f (diff) | |
| download | website-1bdfa0fa9de78c1139c300292d9d47e8e11d3ab0.tar.xz | |
lib/format.php: accepts different content for each format, now; mirrors/active.php is obsolete - is included in mirror/status.php now
Diffstat (limited to 'mirrors/index.php')
0 files changed, 0 insertions, 0 deletions