Il n'y a pas de différence entre #13 et #10 dans FunLabyrinthe. En fait #13, #10 et #13#10 (les deux collés dans cet ordre) veulent tous dire la même chose (à savoir retour à la ligne), respectivement sur Mac, Linux et Windows. C'est une bizarrerie de l'informatique d'aujourd'hui héritée de la “préhistoire”. Pour éviter les problèmes, FunLabyrinthe (et beaucoup d'autres logiciels du XXIème siècle) reconnaissent les trois indifféremment.
Je recommande d'utiliser #10 dans FunLabyrinthe.