52 Commits

• There is nothing bash specific here

  /bin/bash is always wrong. Since there is nothing bash specific here, switch to /bin/sh

  grimreaper · 2012-10-06 10:00:40 -03:00
  d51d784f85
• moved make release to devscripts/release.sh
  Filippo Valsorda · 2012-09-25 23:56:01 +02:00
  225dceb046