on some commands one has to use -R repo e.g. sync pull push and others not
clone ui server -R seems redundant. -- Rene _______________________________________________ fossil-users mailing list [email protected] http://lists.fossil-scm.org:8080/cgi-bin/mailman/listinfo/fossil-users
