Doc fix (follow up to #9957)
authorAustin Seipp <austin@well-typed.com>
Mon, 19 Jan 2015 14:23:51 +0000 (08:23 -0600)
committerAustin Seipp <austin@well-typed.com>
Mon, 19 Jan 2015 14:23:51 +0000 (08:23 -0600)
commitcb65bdbca83f43d72dd2fc6ecd1897e734454d33
treeb29fdd5717cc74e3f21c28802ef9b82fbac3b515
parent851ed7211fb18fea938be84c99b6389f6762b30d
Doc fix (follow up to #9957)

Signed-off-by: Austin Seipp <austin@well-typed.com>
docs/users_guide/using.xml