3 check-ins related to "0.8.3"

2018-05-11
12:48
Script qui n'est plus utilisé, utiliser "make release" dans src/ à la place check-in: 29475549ac user: bohwaz tags: trunk
12:43
Nouvelle version stable 0.8.3 check-in: bd32e64b24 user: bohwaz tags: trunk, stable, 0.8.3
12:16
Recherche exacte sur les champs de type sélecteur à choix unique, cf. [587f730b661a7ce16bad215d4bd02195e754ec57] check-in: 7c360dbe83 user: bohwaz tags: trunk