osquallo 2ffe407827 divers changement dont la possibilite de changer la taille de la police de l'UI.		2018-07-28 10:28:50 +02:00
..
font_size.gd	divers changement dont la possibilite de changer la taille de la police de l'UI.	2018-07-28 10:28:50 +02:00
MenuButton.gd	initialisation	2018-07-25 09:36:19 +02:00
Settings.gd	divers changement dont la possibilite de changer la taille de la police de l'UI.	2018-07-28 10:28:50 +02:00
Settings.tscn	divers changement dont la possibilite de changer la taille de la police de l'UI.	2018-07-28 10:28:50 +02:00