Update user guide, fixing #10772
authorRichard Eisenberg <eir@cis.upenn.edu>
Sat, 19 Sep 2015 18:45:28 +0000 (14:45 -0400)
committerRichard Eisenberg <eir@cis.upenn.edu>
Mon, 21 Sep 2015 01:39:13 +0000 (21:39 -0400)
commitd19a77ab420dec1dbd9c95744b987283ef5aa4cc
tree80db510ed02e99415e35af07342bccb9509103cc
parent1a135511344f14deca314cb38cedda4bcfe53dc0
Update user guide, fixing #10772
docs/users_guide/glasgow_exts.xml