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 fossil-users@lists.fossil-scm.org http://lists.fossil-scm.org:8080/cgi-bin/mailman/listinfo/fossil-users
