Revision fb48c4033e9e697ac170b7545fac3911d33432c5

Committed on 16/01/2012 8:41 am by Bertrand Dunogier <[email protected]> [GitHub Diff]

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