diff options
| author | Jacob Bachmeyer <jcb62281@gmail.com> | 2018-12-20 17:37:46 +1100 |
|---|---|---|
| committer | Ben Elliston <bje@gnu.org> | 2018-12-20 17:37:46 +1100 |
| commit | 80d14caf5d1b26233bb25431243fdfe38cd3f92a (patch) | |
| tree | 22ce7e87f906ad30bded32f46566911334212a2a /Makefile.in | |
| parent | 7656e74346c4ce3edbce4e4a9390f63362d17d04 (diff) | |
| download | dejagnu-80d14caf5d1b26233bb25431243fdfe38cd3f92a.zip dejagnu-80d14caf5d1b26233bb25431243fdfe38cd3f92a.tar.gz dejagnu-80d14caf5d1b26233bb25431243fdfe38cd3f92a.tar.bz2 | |
* doc/dejagnu.texi (bt procedure): Fix Info links.
Signed-off-by: Ben Elliston <bje@gnu.org>
Diffstat (limited to 'Makefile.in')
0 files changed, 0 insertions, 0 deletions