Commit a54ee6e4f06ba872d9befa6200ce067ab0789105

John W. Eaton 2011-02-10T21:34:41

doc: update users.txt * users.txt: Add octave.