replacing runtest for logging output
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Fri, 4 Apr 2008 13:18:59 +0000 (13:18 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Fri, 4 Apr 2008 13:18:59 +0000 (13:18 +0000)
system/runtest [deleted symlink]

diff --git a/system/runtest b/system/runtest
deleted file mode 120000 (symlink)
index 23360cc..0000000
+++ /dev/null
@@ -1 +0,0 @@
-TestMain.py
\ No newline at end of file