Merge branch 'pu/jg/describe'
commit5fc59901c03139b3e1bca672ec2a85f8f96299c4
authorPieter de Bie <pdebie@ai.rug.nl>
Sun, 6 Sep 2009 11:24:01 +0000 (6 13:24 +0200)
committerPieter de Bie <pdebie@ai.rug.nl>
Sun, 6 Sep 2009 11:24:01 +0000 (6 13:24 +0200)
treebcc1fe5da62eecbf3d38616eae5996b74eb9dca2
parentb86d2c480f574a2ae4ccf1fdeef25e91a5e61925
parent0b81911d76a819fea58d7c1aba98302cb8703d70
Merge branch 'pu/jg/describe'

* pu/jg/describe:
  About-Panel: Show git-describe using Info.plist