Add gitlab settings

Julien LepillerThu Aug 22 21:41:07+0200 2019

8093aee

offlate/offlate/ui
namelast commitdate
about.pyAdd project manager.Thu Aug 22 17:41:44+0200 2019
editor.pyAdd project manager.Thu Aug 22 17:41:44+0200 2019
gitlabedit.pyAdd gitlab settingsThu Aug 22 21:41:07+0200 2019
main.pyAdd project manager.Thu Aug 22 17:41:44+0200 2019
manager.pyFix opening project after adding itThu Aug 22 19:41:17+0200 2019
multiplelineedit.pyAdd project manager.Thu Aug 22 17:41:44+0200 2019
new.pyAdd branch settings for gitlab repositoriesThu Aug 22 19:41:51+0200 2019
settings.pyAdd gitlab settingsThu Aug 22 21:41:07+0200 2019
spellcheckedit.pyAdd project manager.Thu Aug 22 17:41:44+0200 2019
tagclickedit.pyAdd project manager.Thu Aug 22 17:41:44+0200 2019