Thu, 12 Jan 2012 17:04:22 +0100Fix bug in refreshing menu after tab selection changed
laurent [Thu, 12 Jan 2012 17:04:22 +0100] rev 624
Fix bug in refreshing menu after tab selection changed

Mon, 09 Jan 2012 18:16:52 +0100Adding support for checking location validity when filled by user
laurent [Mon, 09 Jan 2012 18:16:52 +0100] rev 623
Adding support for checking location validity when filled by user

Mon, 09 Jan 2012 11:08:08 +0100Fixing bug when building textual code containing comment with special characters
laurent [Mon, 09 Jan 2012 11:08:08 +0100] rev 622
Fixing bug when building textual code containing comment with special characters