diff options
| author | Ben Elliston <bje@gnu.org> | 2019-01-02 20:24:47 +1100 |
|---|---|---|
| committer | Ben Elliston <bje@gnu.org> | 2019-01-02 20:24:47 +1100 |
| commit | b51a38c4410bbff17d4296fcb1fda13313b251ac (patch) | |
| tree | a01950825a7d30ec6805d7d4d69bedbac9e09b76 /commands | |
| parent | 7d63d7a08cc11858904b44edaf32d1bc2a52ff0f (diff) | |
| download | dejagnu-b51a38c4410bbff17d4296fcb1fda13313b251ac.zip dejagnu-b51a38c4410bbff17d4296fcb1fda13313b251ac.tar.gz dejagnu-b51a38c4410bbff17d4296fcb1fda13313b251ac.tar.bz2 | |
* Makefile.am (DISTCLEANFILES): Don't use this.
(CLEANFILES): Use this instead.
* Makefile.in: Regenerate.
Diffstat (limited to 'commands')
0 files changed, 0 insertions, 0 deletions