Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Repository
why3
src
ide
gtkcompat3.ml
Find file
Blame
History
Permalink
[Configure] Gtksourceview3 could be named lablgtk3-sourceview3
· f60a9ce7
François Bobot
authored
Mar 12, 2019
instead of lablgtk3.sourceview3
f60a9ce7