diff options
| author | Ben Elliston <bje@gnu.org> | 2018-12-20 21:43:14 +1100 |
|---|---|---|
| committer | Ben Elliston <bje@gnu.org> | 2018-12-20 21:43:14 +1100 |
| commit | 256d7443eb62c3d3bb25181c6fe59dcb72a01a8e (patch) | |
| tree | 7f772f81ef53080c3c3f8e04d4b5e67c702415a2 /config | |
| parent | 2f6e46b9820647476ddd568e14d76661abb4f493 (diff) | |
| download | dejagnu-256d7443eb62c3d3bb25181c6fe59dcb72a01a8e.zip dejagnu-256d7443eb62c3d3bb25181c6fe59dcb72a01a8e.tar.gz dejagnu-256d7443eb62c3d3bb25181c6fe59dcb72a01a8e.tar.bz2 | |
* Makefile.am (EXTRA_DIST): Remove $(XML).
* Makefile.in: Regenerate.
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions