aboutsummaryrefslogtreecommitdiff
path: root/config/dejagnu.conf
AgeCommit message (Expand)Author
2013-11-05latest wants .git on the endRob Savoye
2013-11-05add DejaGnu to infrastructure cause we need to use our own branch for remote ...Rob Savoye