Merge branch 'develop' into feature/nsi

This commit is contained in:
Robin van der Linde 2024-04-29 00:24:51 +02:00
commit 572d85a6b5
Signed by untrusted user: Robin-van-der-Linde
GPG key ID: 53956B3252478F0D
375 changed files with 34341 additions and 44682 deletions

View file

@ -3765,6 +3765,16 @@
},
"ref": {
"question": "Quel est le numéro de référence de cette pièce ?"
},
"room-type": {
"mappings": {
"4": {
"then": "C'est une salle de classe"
},
"14": {
"then": "C'est un bureau"
}
}
}
}
},