* make-dist: Remove comment that no longer applies.
commite207780e8f6bb10e132162a191a72d299633da92
authorGlenn Morris <rgm@gnu.org>
Tue, 12 Oct 2010 07:46:57 +0000 (12 00:46 -0700)
committerGlenn Morris <rgm@gnu.org>
Tue, 12 Oct 2010 07:46:57 +0000 (12 00:46 -0700)
tree0c15ba0d9902e012952e8c1f47585b63d29eae21
parent5c845a010794f41f99d3e8d747173b8f128582a1
* make-dist: Remove comment that no longer applies.
make-dist