Sean Dague ac9313e5a5 add -n --name flag to worlddump
We're worlddumping at success points in grenade, and it would be much
handier to explain when that happens via a symbolic name in the
filename. Add a --name option to worlddump to allow it.

Change-Id: I644200fe08e404dc7ca2006478ae4e11ca020672
2015-07-27 13:33:30 -04:00
..
2015-03-28 14:35:12 -05:00
2014-03-02 08:55:14 +09:00
2015-07-08 05:59:26 +00:00
2015-03-28 14:35:12 -05:00
2015-03-28 14:35:12 -05:00
2015-03-28 14:35:12 -05:00
2015-03-28 14:35:12 -05:00
2015-03-28 14:35:12 -05:00
2013-01-10 01:56:23 -06:00
2015-03-28 14:35:12 -05:00
2015-04-17 07:39:28 -04:00
2015-07-27 13:33:30 -04:00