Mentions légales du service
Skip to content
GitLab
Explore
Sign in
belenios
belenios
Repository
belenios
src
web
web_site.ml
Find file
Blame
History
Permalink
Merge pull request
#3
from pierreboudes/fix_cas-serveur-url-may-contains-numbers
· 63208e41
Stéphane Glondu
authored
Sep 11, 2019
cas server url may contains numbers, improving the regexp
63208e41