Eloi spaces in labels in Default.commands are getting replaced with  
when saving a command. do you know what is going on? Richard _______________________________________________ Denemo-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/denemo-devel
