Merge pull request #180 from dyninst/release9.2/fixes/documentation
authorBill Williams <wwilliam47@gmail.com>
Fri, 14 Oct 2016 21:38:00 +0000 (16:38 -0500)
committerGitHub <noreply@github.com>
Fri, 14 Oct 2016 21:38:00 +0000 (16:38 -0500)
commitde2c2fb947c85471751c5e398b735dc96937e025
tree56e949fe0e8ca87d8dfa9ab8375dd972b69020a2
parent77084d13a82b4afbcf0c1db0a24461f7acb0f330
parentd0a7e8d0c24269a8dc3ef2047f99a877fe7b4032
Merge pull request #180 from dyninst/release9.2/fixes/documentation

Documentation updates -- tentative