synced to 1.1
authorChristian Bauer <Christian.Bauer@uni-mainz.de>
Mon, 21 Jul 2003 17:34:54 +0000 (17:34 +0000)
committerChristian Bauer <Christian.Bauer@uni-mainz.de>
Mon, 21 Jul 2003 17:34:54 +0000 (17:34 +0000)
commite2627379c98aeafae903cc2f04bdbdc9defa34f7
tree86ddaa1bb21d3c28f2a6d9c75d5ba00ffbc21a57
parent80355fb3d929ecec98171db7a0286b8eda877669
synced to 1.1
check/time_dennyfliegner.cpp