statismo/statismo — pull request #108 by clangguth (2014-10-03 08:42:02+00:00)
Title: Ugly hack to ensure that boost .bat files are formatted with DOS line endings

Tested and working. Any comments?

PS: This actually requires that Windows be able to execute .sh files (for instance by installing Git for Windows), but if I'm not mistaken, that has always been the case. I'm just wondering if that is documented.