You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Je propose de remplacer « espace de noms » par « espace de nommage ».
Je trouve que c'est plus explicite et conforme à la définition du wiktionnaire.
Une PR suit si besoin.
Je propose de remplacer « espace de noms » par « espace de nommage ».
Je trouve que c'est plus explicite et conforme à la définition du wiktionnaire.
Une PR suit si besoin.