doc: update users.txt
authorJohn W. Eaton <jwe@gnu.org>
Thu, 10 Feb 2011 20:34:41 +0000 (21:34 +0100)
committerIan Beckwith <ianb@erislabs.net>
Wed, 16 Feb 2011 23:20:19 +0000 (23:20 +0000)
commita1245ce502b0dd1cf373623513cf02d40440e4f0
treeae60e2ea7def4029f5040b26c776587658ca6f22
parent9436b51b876432bb26c2345e138e8ddd7c6a7fb2
doc: update users.txt

* users.txt: Add octave.
(cherry picked from commit a54ee6e4f06ba872d9befa6200ce067ab0789105)
ChangeLog
users.txt