By the way, I have thought of a way to reliably delete all the unused images from docs/images. Would you like me to do that or will that just further complicate getting a build? Richard
On Wed, 2015-10-14 at 17:23 +0100, Richard Shann wrote: > ... it's only 8.4K > Richard > > > > _______________________________________________ > Denemo-devel mailing list > [email protected] > https://lists.gnu.org/mailman/listinfo/denemo-devel _______________________________________________ Denemo-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/denemo-devel
