Il 08/08/2012 09:53, Richard Shann ha scritto:
I run 'make uninstall' before making the new build.I guess this means make uninstall must be broken:(
consider that I built Denemo last September (I think) IIRC, it was version 0.9.2 -- Federico _______________________________________________ Denemo-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/denemo-devel
