Merge pull request #1038 from Diapolo/misc
authorWladimir J. van der Laan <laanwj@gmail.com>
Thu, 5 Apr 2012 05:52:34 +0000 (22:52 -0700)
committerWladimir J. van der Laan <laanwj@gmail.com>
Thu, 5 Apr 2012 05:52:34 +0000 (22:52 -0700)
commit60d5ab3a165d06a4c8bd9af1de1d71f4356ce492
treeb39c804b5c23c3084f76716434a2d5354d6fe059
parentb0a7e05a45a925d78efd00ecca6dce9b7a9530f9
parentcf8525a571c29c18d6d1351bd89ebfef0c98bdaf
Merge pull request #1038 from Diapolo/misc

small misc syntactic fixes