log

age author description
Thu, 05 Jul 2018 10:42:48 +0530 Sushil khanchi rebase: support "history-editing-backup" config option
Wed, 01 Aug 2018 16:06:53 +0200 Martijn Pieters extensions: add detailed loading information
Wed, 01 Aug 2018 16:05:41 +0200 Martijn Pieters util: create a context manager to handle timing