You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 
 
Ben Elliston bb9877bf66 Reported by Flash Sheridan <flash@pobox.com>: 15 years ago
..
.gitignore Add a .gitignore file for the doc directory. 18 years ago
dejagnu.texi Reported by Flash Sheridan <flash@pobox.com>: 15 years ago
dejagnu.xml * doc/dejagnu.xml, doc/ref.xml, doc/user.xml: Mark up options with 17 years ago
legal.xml * Makefile.am (SUBDIRS): Remove. 21 years ago
ref.xml * doc/dejagnu.xml, doc/ref.xml, doc/user.xml: Mark up options with 17 years ago
runtest.1 From Reuben Thomas <rrt@sc3d.org>: 17 years ago
user.xml Reported by Flash Sheridan <flash@pobox.com>: 15 years ago