I have at last had some useful thoughts about Undo, and indeed I think there is some useful Undo available now in git. See http://denemo.org/index.php/Undo for more information.
Perhaps we will have the long-awaited version 0.9.0 next! Richard _______________________________________________ Denemo-devel mailing list [email protected] http://lists.gnu.org/mailman/listinfo/denemo-devel
