Update mailing lists in the users guide
authorIan Lynagh <ian@well-typed.com>
Tue, 22 Jan 2013 16:56:41 +0000 (16:56 +0000)
committerIan Lynagh <ian@well-typed.com>
Tue, 22 Jan 2013 16:56:41 +0000 (16:56 +0000)
commit927ca60596df0d608f87c59c3bb6d82243297190
tree83a8c07525e44341cef1288046e537d0ddfba3d1
parentfb93d791c341c1e6616d1ba363bf68c138978dc2
Update mailing lists in the users guide
docs/users_guide/intro.xml
docs/users_guide/ug-book.xml.in