Thu Mar 13 12:05:13 UTC 2014 Johnny Willemsen <jwillemsen@remedy.nl>
commit4bcd8b1f44b64d3b6927dda4a674dd4e39c5ac6c
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
parentfc253bcae66ae3f0478840e059ecb82cec1c309d
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