Public Git Hosting - dejagnu.git/commit

summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 1757c1e) | patch

commit	b1a37815d0d1a8cbc9f980f20ddafaa29b5e503c
author	Jacob Bachmeyer <jcb@gnu.org>
	Wed, 30 Nov 2022 03:48:48 +0000 (29 21:48 -0600)
committer	Jacob Bachmeyer <jcb@gnu.org>
	Wed, 30 Nov 2022 03:48:48 +0000 (29 21:48 -0600)
tree	567c3d9333e184add597b0d52a49da523d112407	tree \| snapshot (tar.gz zip)
parent	1757c1eeff6cda9f77591349f190c86fdcdccb7e	commit \| diff

Fix incorrect documentation

ChangeLog		diff \| blob \| blame \| history
doc/dejagnu.texi		diff \| blob \| blame \| history

DejaGnu is a framework for testing other programs