| Thu, 12 Jan 2012 17:04:22 +0100 | laurent | Fix bug in refreshing menu after tab selection changed | changeset | files |
| Mon, 09 Jan 2012 18:16:52 +0100 | laurent | Adding support for checking location validity when filled by user | changeset | files |
| Mon, 09 Jan 2012 11:08:08 +0100 | laurent | Fixing bug when building textual code containing comment with special characters | changeset | files |