File
|
Last Change |
|---|---|
scripts/
|
192 (24 years ago) by dan: rename change_log_details.change_port_id to change_log_port_id Modified Files: updates.pl |
|
scripts-fp2/
|
173 (24 years ago) by dan: now includes code so you can refresh a single port. Modified Files: fetch-refresh-ports.pl |
|
walkports/
|
188 (24 years ago) by dan: add these files to the collection Added Files: list-all-ports.pl one-off-walk-ports-and-update.pl |
|
www/
|
198 (24 years ago) by dan: add a stop-gap so we don't change the wrong database. Modified Files: commonlogin.php3 |