diff -r 1e64e46a954f -r 30f650574bca .hgignore
--- a/.hgignore	Thu Aug 30 12:51:04 2012 +0200
+++ b/.hgignore	Thu Aug 30 13:06:35 2012 +0200
@@ -28,4 +28,6 @@
 syntax: regexp
 ^assets/player_bab_ldt/player_bab_ldt/bin$
 syntax: regexp
-^\.settings/org\.eclipse\.core\.runtime\.prefs$
\ No newline at end of file
+^\.settings/org\.eclipse\.core\.runtime\.prefs$
+syntax: regexp
+^sbin/build/compil-to-platform\.sh$
\ No newline at end of file