wjosdejong 98f4b0c2fb Urls to the github project updated (changed username from wjosdejong to josdejong)		2012-12-05 15:12:44 +01:00
..
chrome	Fixed issue #19: retrieving the contents of the editor inside the change callback resulted in an infinite loop. Execution of the callback is done inside a try/catch loop now, to isolate the editor from errors in the callback.	2012-11-26 22:08:57 +01:00
web	Urls to the github project updated (changed username from wjosdejong to josdejong)	2012-12-05 15:12:44 +01:00