opencog/opencog — pull request #730 by ngeiswei (2014-05-09 19:08:38+00:00)
Title: Logger tools

Move tools related to logging to scripts/util and add a tool to sort the messages in chronological order.