doc/tools
Alexey Zelkin 903b4b5348 . Don't require root access to run this script (check out own copy of
ports/INDEX)

. Check out and count line numbers for only revisions missing in ports.log
  (about 100 times speedup :-)

. Remove logic carried already by Makefile
2002-05-20 11:33:17 +00:00
..
portsgrowth . Don't require root access to run this script (check out own copy of 2002-05-20 11:33:17 +00:00
prstats Define GNATSDIR with '?=' instead of '=', so that the location of the 2001-11-19 07:06:40 +00:00
webupdate Remove excess vertical whitespace. 2001-08-31 17:39:07 +00:00