log

age author description
Fri, 28 Apr 2017 16:57:41 +0200 Boris Feld ui: add better messages when the working copy become obsolete.
Fri, 28 Apr 2017 15:29:32 +0200 Pierre-Yves David topic: directly use "super" call
Thu, 27 Apr 2017 20:52:09 +0200 Pierre-Yves David repo: properly progate "destroyed" call to super class stable