Changeset 8f02de in git


Ignore:
Timestamp:
Feb 18, 2011, 5:10:43 PM (13 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')
Children:
76bbd335fd5b9c753da5440b412d416cc4f90cf7
Parents:
d315d69d96f07ecc5291aaf64eb96a9749ce1ac8
Message:
tr.263: help for -r fixed

git-svn-id: file:///usr/local/Singular/svn/trunk@13875 2c84dea3-7e68-4137-9b89-c4e89433aadc
File:
1 edited

Legend:

Unmodified
Added
Removed

  • Singular/feOpt.cc

    rd315d69 r8f02de  
    101101
    102102  {"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},
    104104
    105105  {"no-tty",            no_argument,        't',
Note: See TracChangeset for help on using the changeset viewer.