From: pete <devnull@localhost>
Date: Fri, 28 Jan 2011 09:05:44 +0000 (+0100)
Subject: Merge from default
X-Git-Url: https://rtime.felk.cvut.cz/gitweb/arc.git/commitdiff_plain/978f7b0afe558a7640cf3970fab9faf880bf2512

Merge from default
---

978f7b0afe558a7640cf3970fab9faf880bf2512
diff --cc scripts/compile_examples.sh
index 00000000,21d2fae1..21d2fae1
mode 000000,100755..100644
--- a/scripts/compile_examples.sh
+++ b/scripts/compile_examples.sh