2 Commits (162e3c52616a72f4ddc11b0e5de0f2425e512896)

Author	SHA1	Message	Date
grimreaper	d51d784f85	There is nothing bash specific here ... /bin/bash is always wrong. Since there is nothing bash specific here, switch to /bin/sh	2012-10-06 10:00:40 -03:00
Filippo Valsorda	225dceb046	moved make release to devscripts/release.sh	2012-09-25 23:56:01 +02:00