Lennart Kats 549df3c756 Merge pull request #2087 from ajaxorg/destroy ... destroy session when destroying the editor		2014-08-10 11:26:07 +02:00
..
ace	Merge pull request #2087 from ajaxorg/destroy	2014-08-10 11:26:07 +02:00