Re: [fossil-users] how to delete old history?

[Petr Pudlák]

Thank you all for the ideas. I'll have a look at shunning, if it could 
be used. I'll have a look at it.

Best regards,
Petr
_______________________________________________
fossil-users mailing list
fossil-users@lists.fossil-scm.org
http://lists.fossil-scm.org:8080/cgi-bin/mailman/listinfo/fossil-users