changeset: 3441:05f574a33f5f user: Ian Hinder ian.hinder@aei.mpg.de date: Mon Feb 13 11:25:10 2012 +0100 summary: TimerNode.cc: Don't print "untimed" unless some child nodes have been printed

changeset: 3442:b8f6509f865a tag: tip user: Ian Hinder ian.hinder@aei.mpg.de date: Mon Feb 13 11:25:13 2012 +0100 summary: Inform the Accelerator thorn that past timelevels have been filled on the host