Shorter name

This commit is contained in:
Nicolas Jeannerod 2025-01-31 16:48:08 +01:00
parent 54194cd494
commit e0b4dd4d5b
Signed by untrusted user: Niols
GPG key ID: 35DB9EC8886E1CB8
6 changed files with 1 additions and 1 deletions