diff test/runtime/6981737/Test6981737.java @ 2572:28a8b3c8b9b4

Small fix to documentation.
author Thomas Wuerthinger <thomas@wuerthinger.net>
date Mon, 02 May 2011 11:00:33 +0200
parents 35f885165c69
children
line wrap: on
line diff