Mon, 23 Jul 2012 02:53:02 +0200Fix bug while closing specific file editors
laurent [Mon, 23 Jul 2012 02:53:02 +0200] rev 792
Fix bug while closing specific file editors

Wed, 18 Jul 2012 01:33:48 +0200Merged
laurent [Wed, 18 Jul 2012 01:33:48 +0200] rev 791
Merged