File
|
Last Change |
|---|---|
scripts/
|
230 (24 years ago) by dan: Cater for ports which are deleted, then reimported. We have them in the tree, but they are deleted. Just set them "status = 'A'" and get on with it. 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/
|
219 (24 years ago) by dan: change the code to use change_log, change_port. Modified Files: email.pl |
|
www/
|
255 (24 years ago) by dan: new gifs Added Files: broken.gif forbidden.gif |