| commit | ef75383cd2b764f8df0b84f780adfe0bd552457c | |
| author | Glenn Morris <rgm@gnu.org> | |
| Thu, 25 Jul 2013 06:57:25 +0000 (24 23:57 -0700) | ||
| committer | Glenn Morris <rgm@gnu.org> | |
| Thu, 25 Jul 2013 06:57:25 +0000 (24 23:57 -0700) | ||
| tree | f344609ca95c937dea143d8d12334239311a950a | treesnapshot (tar.gz zip) |
| parent | cb3a56d2389eb6fe0635bd28b863c3a0734279c6 | commitdiff |
* make-dist: Add a --tests option, to include test/.
| ChangeLog | diffblobblamehistory | |
| make-dist | diffblobblamehistory |