aboutsummaryrefslogtreecommitdiffstats
path: root/lang/hugs
Commit message (Expand)AuthorAgeFilesLines
* Use @dirrm instead of @unexec rmdir.steve1998-02-181-10/+10
* Use '@unexec rmdir ...' to get rid of stray doc directories on deinstall.steve1998-02-181-0/+10
* MASTER_SITE has moved and some portlint cleaning.steve1998-02-183-268/+253
* Change "-"s to "."s in PKGNAME so the Latest link will be createdasami1998-02-161-2/+2
* Upgrade to the January source snapshot.tg1998-02-123-77/+111
* This is a port of Nottingham's and Yale's new release of Hugs,fenner1997-11-246-0/+363