aboutsummaryrefslogtreecommitdiff
path: root/doc/dejagnu.1
AgeCommit message (Expand)AuthorFilesLines
2018-12-20 * Makefile.am (EXTRA_DIST): Add "dejagnu" launcher script andJacob Bachmeyer1-0/+141