tree 6b7515a28d8ff516cd48133ab5012b3a4a06a87a
parent 686f15549c0abb52ff674b15c67a5fe828fa7eb5
author Thomas Klausner <wiz@danbala.tuwien.ac.at> 1145752724 +0000
committer Thomas Klausner <wiz@danbala.tuwien.ac.at> 1145752724 +0000

Adapt for runtest update.

--HG--
branch : HEAD