Merge pull request #159 from dyninst/release9.2/fixes/cotire-gitignore
authorBill Williams <wwilliam47@gmail.com>
Tue, 23 Aug 2016 22:13:51 +0000 (17:13 -0500)
committerGitHub <noreply@github.com>
Tue, 23 Aug 2016 22:13:51 +0000 (17:13 -0500)
commit4f0b296de92835aa9ab96a94fa978e335e284fd8
treeffa7cc4dd11737f6a1e1da5cc1da6f2dd8051c1a
parent5eaf32129fe4714b85a06527c011c7bb34bde758
parent7c90ebb86f374ae8c5def914136d5cba9a00f2b4
Merge pull request #159 from dyninst/release9.2/fixes/cotire-gitignore

Added generated cotire directories to gitignore