/net/istgt/

-git' href='https://www.csie.ntu.edu.tw/~b01902062/git/freebsd-ports-gnome' title='freebsd-ports-gnome Git repository'/>
aboutsummaryrefslogtreecommitdiffstats
path: root/math/proofgeneral
Commit message (Expand)AuthorAgeFilesLines
* - Remove EMACS_SITE_LISTDIR if empty to satisfy pointyhatsem2006-05-161-0/+1
* Remove USE_REINPLACE from ports starting with Medwin2006-05-11