Sat Aug 24 21:42:47+0200 2019
34d0d55
| name | last commit | date |
| Update translation | Fri Aug 23 20:01:02+0200 2019 | |
| Use the project manager UI logic for creating new projects from the editor. | Sat Aug 24 20:47:34+0200 2019 | |
| Add gitlab settings | Thu Aug 22 21:41:07+0200 2019 | |
| Update locales | Fri Aug 23 00:09:28+0200 2019 | |
| Remove unused modalwait. | Sat Aug 24 21:42:47+0200 2019 | |
| Add project manager. | Thu Aug 22 17:41:44+0200 2019 | |
| Add branch settings for gitlab repositories | Thu Aug 22 19:41:51+0200 2019 | |
| Add generic preferences for every systems | Fri Aug 23 17:17:23+0200 2019 | |
| Ignore spell check when dictionnary is not found | Fri Aug 23 17:46:56+0200 2019 | |
| Add project manager. | Thu Aug 22 17:41:44+0200 2019 |