Thu Mar 13 12:05:13 UTC 2014 Johnny Willemsen <jwillemsen@remedy.nl>
commitf446bcb691d7fb87f6277169e5863ab3bf92c653
authorJohnny Willemsen <jwillemsen@remedy.nl>
Thu, 13 Mar 2014 12:03:47 +0000 (13 12:03 +0000)
committerJohnny Willemsen <jwillemsen@remedy.nl>
Thu, 13 Mar 2014 12:03:47 +0000 (13 12:03 +0000)
tree983fc0039a050e465fc7ff19e52862ef495d74b5
parent06ec3390dba75bf49684db5e7af0ad9011ea5729
Thu Mar 13 12:05:13 UTC 2014  Johnny Willemsen  <jwillemsen@remedy.nl>

        * config/pin_base.mpb:
        * config/pintool.mpb:
        * config/winapp.mpb:
          Added vc12

        * registry.pl:
          Added vc11 and vc12
ChangeLog
config/pin_base.mpb
config/pintool.mpb
config/winapp.mpb
registry.pl