log

age author description
Thu, 18 May 2017 18:18:01 +0200 Pierre-Yves David obshistory: rename the command to "olog"
Thu, 18 May 2017 18:04:47 +0200 Pierre-Yves David obshistory: move the command into the obshistory module
Thu, 18 May 2017 17:40:07 +0200 Boris Feld obshistory: add docstring to cmddebugobshistory