diff options
| author | Ben Elliston <bje@gnu.org> | 2018-12-02 16:39:40 +1100 |
|---|---|---|
| committer | Ben Elliston <bje@gnu.org> | 2018-12-02 16:39:40 +1100 |
| commit | 830ee9b8f76064cdbd6e1c8286fe852f120ec828 (patch) | |
| tree | 8828009f93ef76963b5ca9d5ce3dc332d869b8f2 /ChangeLog | |
| parent | 63bacded39355dfb4111a945ee98f205fb46d0e0 (diff) | |
| download | dejagnu-830ee9b8f76064cdbd6e1c8286fe852f120ec828.zip dejagnu-830ee9b8f76064cdbd6e1c8286fe852f120ec828.tar.gz dejagnu-830ee9b8f76064cdbd6e1c8286fe852f120ec828.tar.bz2 | |
* doc/version.texi: New.
Diffstat (limited to 'ChangeLog')
| -rw-r--r-- | ChangeLog | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -1,5 +1,9 @@ 2018-12-02 Ben Elliston <bje@gnu.org> + * doc/version.texi: New. + +2018-12-02 Ben Elliston <bje@gnu.org> + * doc/dejagnu.texi: Add title page and frontmatter. Include version.texi. * Makefile.in: Regenerate. |