File
![]() |
Last Change |
---|---|
![]() |
90 (24 years ago) by dan: now marks ports as deleted if the Makefile is removed. |
![]() |
89 (24 years ago) by dan: code to refresh ports which need refreshing. |
![]() |
100 (24 years ago) by dan: you can now sort by category or last update. useful if you get told something has been modified, but you don't know what. Modified Files: watch.php3 |