allow making different filenames for the dist files - useful in development when making several builds and don't want to overwrite

Author nanotube <nanotube>
Author date 2007-01-10 22:29:31
Author local date 2007-01-10 22:29:31 +0000
Committer nanotube <nanotube>
Committer date 2007-01-10 22:29:31
Committer local date 2007-01-10 22:29:31 +0000
Commit 57547aaaf3c1fcc04f51dd64e0bd05cd7dff0580
Tree 7dbc5049d66d850d3a2e7affe446f4b708c87344
Parent a6cb540773bcdd78461b4449b3fbbf7d8022c40a
allow making different filenames for the dist files - useful in development when making several builds and don't want to overwrite
ViewGit