Merge pull request #291 from dyninst/release9.3/fixes/manuals
authorBill Williams <wwilliam47@gmail.com>
Wed, 7 Dec 2016 21:25:17 +0000 (15:25 -0600)
committerGitHub <noreply@github.com>
Wed, 7 Dec 2016 21:25:17 +0000 (15:25 -0600)
commitae31797b354ba3e24c8a448430a91b70bdc3c1c5
tree52be3ec1c9e975cd4d54f87bfc02900e9ff29738
parenta79c99d94adfe28e38a3e742a0b244931eb26175
parent910d4653f6987fe3655086174649c908fa18ce89
Merge pull request #291 from dyninst/release9.3/fixes/manuals

Update manual version numbers and minor fixes