log

age author description
Thu, 10 Oct 2013 18:26:09 +0200 Doug Simon Merge.
Thu, 10 Oct 2013 18:12:30 +0200 Doug Simon removed API for storing a Graph with an InstalledCode
Thu, 10 Oct 2013 18:07:20 +0200 Doug Simon added ability to suppress duplicate lines on an output stream and used it to filter the GC verification log messages in the gate