| Fri, 24 Sep 2010 14:12:33 +0200 | wenzelm | permissive exit; | changeset | files |
| Fri, 24 Sep 2010 00:00:21 +0200 | wenzelm | added Session_Dockable.session_phase label; | changeset | files |
| Thu, 23 Sep 2010 23:04:50 +0200 | wenzelm | separate Plugin.init_model; | changeset | files |