diff src/.gdbinit @ 76953:417f62c55294

Seed RNG on loading.
author Glenn Morris <rgm@gnu.org>
date Thu, 05 Apr 2007 06:29:42 +0000
parents a0627ed0c1aa
children 922696f363b0 edf631bdbb7a dd7c098af727
line wrap: on
line diff