egarette@silique.fr 7bdc39e370 convert integer to string for port variable (#31 and #32) ... Reviewed-on: #32		2024-10-14 14:14:00 +02:00
..
dictionaries/rougail	convert integer to string for port variable (#31 and #32)	2024-10-14 14:14:00 +02:00
makedict	convert integer to string for port variable (#31 and #32)	2024-10-14 14:14:00 +02:00
tiramisu	convert integer to string for port variable (#31 and #32)	2024-10-14 14:14:00 +02:00
__init__.py	convert integer to string for port variable (#31 and #32)	2024-10-14 14:14:00 +02:00