Ce dépôt a été archivé le 2022-05-07. Vous pouvez voir ses fichiers ou le cloner, mais pas ouvrir de ticket ou de demandes d'ajout, ni soumettre de changements.

kilo ea795dcca7 Update flags.jet.html		2017-07-14 23:12:59 +02:00
..
badgemenu.jet.html	Update badgemenu.jet.html	2017-07-11 18:33:38 +10:00
captcha.jet.html
csrf.jet.html
errors.jet.html
flags.jet.html	Update flags.jet.html	2017-07-14 23:12:59 +02:00
infos.jet.html
search.jet.html	Use of flaglist in search.jet.html	2017-07-14 18:32:07 +02:00
treeview.jet.html