progit/progit2 — pull request #157 by christophprokop (2014-11-08 12:09:40+00:00)
Title: fix brackets (<< >> instead of [[ ]])

Is there a reason why this was the only location where [[ ]] were used?