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 |