Skip to content
GitLab
Explore
Sign in
Register
Tags
Tags give the ability to mark specific points in history as being important
2024-05-01
9500fcf1
·
* fix: tepl 6
·
May 01, 2024
2023-12-03
4c53071b
·
* upd: doc
·
Dec 04, 2023
2015-05-23
b6876bfa
·
* upd: doc et issue
·
May 23, 2015
2015-05-03
55874a6d
·
* upd: typo
·
May 03, 2015
3.12
7d37bb5d
·
* upd: documentation et numéro de version
·
Apr 27, 2014
3.10
d8e73708
·
* upd: dépendances par fichier et plus par module 'common'.
·
Apr 05, 2014
3.8
f1173423
·
* debug build
·
Jul 06, 2013
3.6
e195e947
·
Rstructuration du plugin avec utilisation du module settings
·
May 09, 2013
3.0
ecbd0e39
·
- Adoption d'une numérotation identique à celle de Gedit.
·
Aug 23, 2012
version-1.0
60ab6551
·
maintenance : version stable 1.0
·
May 21, 2009
version-0.4
ca5e59d1
·
Outil de configuration pour placer l'onglet dans le panneau latéral ou inférieur
·
Apr 29, 2009
version-0.3
aefd479d
·
- clean dans la gestion des événements
·
Apr 18, 2009
version-0.2
dbed2360
·
version 0.2
·
Oct 26, 2008