Commit History

Author SHA1 Message Date
  Bernhard M. Wiedemann 38765847ba Allow to use a fixed random seed via SOURCE_DATE_EPOCH (#251) 5 years ago
  Martin Landa a099817b0d If GRASS_RANDOM_SEED is set, use it to seed the random generator when 8 years ago
  Glynn Clements 5437a8cf5f Add documentation comments 10 years ago
  Glynn Clements c4a77fef85 Add portable lrand48 (etc) implementation 10 years ago