I'm thinking about building the Debian packages regularly, too. Would it be okay to do that on the server (it's a Debian machine)? Or is it not intended for such use?
Andreas _______________________________________________ Denemo-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/denemo-devel
