Revision fb48c4033e9e697ac170b7545fac3911d33432c5

Committed on 16/01/2012 8:41 am by Bertrand Dunogier <bd@ez.no> [GitHub Diff]

Added a flag to enable/disable logging to completion.log