tree eabd2a3dc50821c37d183636d8a2afece619305e
parent 6ef69b2faeb665d173e9a23fff6cf66c0b48a592
author Jeff Thompson <jefft0@gmail.com> 1387564679 -0800
committer Jeff Thompson <jefft0@gmail.com> 1387564679 -0800

encoding: In OID, make toString, operator== and operator!= const. Refs #1091.