Not logged in · Login
March 2007: creation of a "relink.sh" script. 2006: This program is now (mostly) set up using "configure"