Introduce a `warn' output operation.
authorMark Wooding <mdw@distorted.org.uk>
Fri, 23 May 2014 17:20:46 +0000 (18:20 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Sat, 24 May 2014 21:58:53 +0000 (22:58 +0100)
Mostly warnings are just written to standard error.  The HTML output
driver captures warnings and displays them in an obvious box.


No differences found