Adding proper header to build.sh include.
authorDaniel Baumann <daniel@debian.org>
Tue, 4 Dec 2012 11:49:15 +0000 (12:49 +0100)
committerDaniel Baumann <daniel@debian.org>
Tue, 4 Dec 2012 11:49:15 +0000 (12:49 +0100)
commit4804793d9a3e877f7d206f24be28692f3e1ff869
tree966258fe1f4ccf77455ae1298732a536b9c9af68
parent19d695c05afcaffddd9a8629cfd8aeacd3fb8425
Adding proper header to build.sh include.
scripts/build.sh