The language selection combo was no more populated after Stingo's merge.

2010-10-08 01:06:09 +02:00
commit 8b52e0aa5f
619 changed files with 128494 additions and 0 deletions
--- a/4
+++ b/4
@@ -0,0 +1,4 @@
+#!/bin/bash
+RT_BINDIR=`dirname "$0"`
+export LD_LIBRARY_PATH=${RT_BINDIR}
+cd "${RT_BINDIR}" && ./rt