Task #5657
A command line option for random seed
Start date:
02/25/2015
Due date:
% Done:
100%
Estimated time:
Detected in build:
svn
Published in build:
150529
Updated by Alexander Kamkin about 6 years ago
- Subject changed from [generator] A command line option for random seed to A command line option for random seed
- Category set to 61
- Target version set to 2.1
Updated by Alexander Kamkin almost 6 years ago
- Status changed from New to Resolved
Andrei, please change the status of resolved tasks.
Updated by Andrei Tatarnikov almost 6 years ago
- Status changed from Resolved to Closed
- Target version changed from 2.2 to 2.3
- % Done changed from 0 to 100
- Published in build set to 150529