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/
|
195 (24 years ago) by dan: final changes after doing a dry run. Modified Files: changes.txt convert_change_log.php3 customize.php3 permissions.txt port-description.php3 |