aboutsummaryrefslogtreecommitdiff
path: root/ChangeLog
diff options
context:
space:
mode:
authorBen Elliston <bje@gnu.org>2018-12-10 21:59:08 +1100
committerBen Elliston <bje@gnu.org>2018-12-10 21:59:08 +1100
commit2e7d28b57873761210c0405cf472478884b7ddb7 (patch)
tree749b2a8c0375e1cb39924b664c397b3b6ac35f88 /ChangeLog
parent95fccbd8992e9c9b8caad3007bcd24ebebe680d3 (diff)
downloaddejagnu-2e7d28b57873761210c0405cf472478884b7ddb7.zip
dejagnu-2e7d28b57873761210c0405cf472478884b7ddb7.tar.gz
dejagnu-2e7d28b57873761210c0405cf472478884b7ddb7.tar.bz2
* doc/dejagnu.texi (istarget procedure): Remove stray @{.
Diffstat (limited to 'ChangeLog')
-rw-r--r--ChangeLog4
1 files changed, 4 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog
index 9c8581c..5a67096 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2018-12-10 Ben Elliston <bje@gnu.org>
+
+ * doc/dejagnu.texi (istarget procedure): Remove stray @{.
+
2018-12-10 Jacob Bachmeyer <jcb62281@gmail.com>
* doc/dejagnu.texi (Writing a test case): Add warning about