On Wed, 1 Jul 2015, Thomas Koenig wrote:
I just committed the following patch to the WWW docs.
Thanks. In the description, are the integers constants truncated
or (the result of) the division?
An error was reported by Gerald's script, but that seems to have
been spurious. At least, there
On Wed, Jul 01, 2015 at 11:39:09PM +0200, Gerald Pfeifer wrote:
On Wed, 1 Jul 2015, Thomas Koenig wrote:
I just committed the following patch to the WWW docs.
Thanks. In the description, are the integers constants truncated
or (the result of) the division?
The result is truncated.
real
Hello world,
I just committed the following patch to the WWW docs.
An error was reported by Gerald's script, but that seems to
have been spurious. At least, there was no error on
revalidation.
Regards
Thomas
2015-07-01 Thomas Koenig tkoe...@netcologne.de
*