Various improvements to make-dist
authorManuel Amador (Rudd-O) <rudd-o@rudd-o.com>
Fri, 14 Aug 2009 23:07:03 +0000 (18:07 -0500)
committerManuel Amador (Rudd-O) <rudd-o@rudd-o.com>
Fri, 14 Aug 2009 23:07:03 +0000 (18:07 -0500)
commit0abeb30e2edf2f404b754ce9b14b926b6443242b
treeb81e9efb3c76ba2e003290f9d5faeb626c22905f
parentd7bba118bcc40f3ea150e84ed864f3f90c42ff2a
Various improvements to make-dist
contrib/make-dist