doc: update users.txt
authorJohn W. Eaton <jwe@gnu.org>
Thu, 10 Feb 2011 20:34:41 +0000 (21:34 +0100)
committerJim Meyering <meyering@redhat.com>
Thu, 10 Feb 2011 20:34:41 +0000 (21:34 +0100)
commita54ee6e4f06ba872d9befa6200ce067ab0789105
treeef3dc577eced186af9675431c703ec3e0fd6208e
parent27147dc9dd0b32d832d4fd2d901490754021c54a
doc: update users.txt

* users.txt: Add octave.
ChangeLog
users.txt