diff options
author | Glenn Morris <rgm@gnu.org> | 2015-08-24 00:31:52 -0700 |
---|---|---|
committer | Glenn Morris <rgm@gnu.org> | 2015-08-24 00:31:52 -0700 |
commit | d56d62b13b608cd2d13dd2098f73d2fc7e494819 (patch) | |
tree | 332efd96bb427a8f8803548d9664e79a330d70ad /make-dist | |
parent | 5a133ba0785b756a3f479ec8acf95ca3f2b48c92 (diff) | |
download | emacs-d56d62b13b608cd2d13dd2098f73d2fc7e494819.tar.gz |
; * doc/lispref/intro.texi (Version Info): Shorten line for 80 column terminal.
Diffstat (limited to 'make-dist')
0 files changed, 0 insertions, 0 deletions