Moin, I have one more question. Is it possible to move a file from one repository to another and keep the history? I can clone a repo and remove all needless files but that maybe not the best solution.
Maybe someone has a script for such a task. Many thanks Matthias _______________________________________________ fossil-users mailing list [email protected] http://lists.fossil-scm.org:8080/cgi-bin/mailman/listinfo/fossil-users

