anyone following the git development will need to edit their palettes.xml for a change
_label= should become label= for the palette to be usable with the latest git. You can just delete your ~/.denemo-1.1.1/actions/palettes.xml file if you have nothing valuable in it. Richard _______________________________________________ Denemo-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/denemo-devel
