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/
|
191 (24 years ago) by dan: These allow you to check the logs. Added Files: change_log.php3 change_log_details.php3 change_log_port.php3 |