diff options
| author | Glenn Morris <rgm@gnu.org> | 2013-07-24 23:57:25 -0700 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2013-07-24 23:57:25 -0700 |
| commit | ef75383cd2b764f8df0b84f780adfe0bd552457c (patch) | |
| tree | f344609ca95c937dea143d8d12334239311a950a /doc/misc/ses.texi | |
| parent | cb3a56d2389eb6fe0635bd28b863c3a0734279c6 (diff) | |
| download | emacs-ef75383cd2b764f8df0b84f780adfe0bd552457c.tar.gz emacs-ef75383cd2b764f8df0b84f780adfe0bd552457c.tar.bz2 emacs-ef75383cd2b764f8df0b84f780adfe0bd552457c.zip | |
* make-dist: Add a --tests option, to include test/.
Diffstat (limited to 'doc/misc/ses.texi')
0 files changed, 0 insertions, 0 deletions