Changeset 8f02de in git
- Timestamp:
- Feb 18, 2011, 5:10:43 PM (13 years ago)
- Branches:
- (u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'fc741b6502fd8a97288eaa3eba6e5220f3c3df87')
- Children:
- 76bbd335fd5b9c753da5440b412d416cc4f90cf7
- Parents:
- d315d69d96f07ecc5291aaf64eb96a9749ce1ac8
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/feOpt.cc
rd315d69 r8f02de 101 101 102 102 {"random", required_argument, 'r', 103 "SEED", "Seed random generator with integer (integer) SEED",feOptInt, 0, 0},103 "SEED", "Seed random generator with (integer) SEED", feOptInt, 0, 0}, 104 104 105 105 {"no-tty", no_argument, 't',
Note: See TracChangeset
for help on using the changeset viewer.