log

age author description
Wed, 26 Sep 2012 21:01:17 +0200 Patrick Mezard editor: add a pop() method to RevisionMeta to reduce resource usage