merged patches from Ludovic for replay --skip-present
additional fixes for apply-delta -t (diff3 merge)
We are closing in to tla 1.3.5...
--
Andy Tai, [EMAIL PROTECTED]
_______________________________________________ Gnu-arch-users mailing list Gnu-arch-users@gnu.org http://lists.gnu.org/mailman/listinfo/gnu-arch-users
GNU arch home page: http://savannah.gnu.org/projects/gnu-arch/
