This website works better with JavaScript
Accueil
Explorer
Aide
S'inscrire
Connexion
Jones
/
MastodonHelp
Suivre
1
Voter
0
Fork
0
Fichiers
Tickets
0
Pull Requests
0
Wiki
Aborescence:
a5e962aa67
Branches
Tags
main
weblate
Historique des commits
Trouver
Auteur
SHA1
Message
Date
pezcurrel
3b7e818f22
Using preg_replace instead of str_replace to substitute all non-digit characters
il y a 9 mois
pezcurrel
b147447b69
A workaround to php 7.3 echoing floats with “,” instead of “.” as a decimal separator; first commit
il y a 9 mois