I'm sorry the batch script from my previous message did not make it through the mailing list in a ready-to-copy-and-paste form, so it's posted here:
https://pastebin.com/8StRhDHJ --Florian _______________________________________________ fossil-users mailing list fossil-users@lists.fossil-scm.org http://lists.fossil-scm.org:8080/cgi-bin/mailman/listinfo/fossil-users
