diff options
| author | Glenn Morris <rgm@gnu.org> | 2016-12-07 19:45:48 -0500 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2016-12-07 19:45:48 -0500 |
| commit | 5531e75385ca3d02287f4df7788e38090f70b6b7 (patch) | |
| tree | cd91d6e990c85b3ab1103d9312db9ce6f794711c /nextstep | |
| parent | 953bf67fbea6298cb68b7610fdc09c3fcdf8aeec (diff) | |
| download | emacs-5531e75385ca3d02287f4df7788e38090f70b6b7.tar.gz | |
Further improve make-dist checking
* make-dist: Print status messages when checking.
Diffstat (limited to 'nextstep')
0 files changed, 0 insertions, 0 deletions