>> Nb 2 is clearly the most flexible option. It could even be used
>> internally to replace the .arch-ids subdirectory with a .arch-ids file
>> with a specialized merge/diff algorithm (which would mirror the
>> order-agnostic diff/merge currently used for directories).
> No, it can't. Replacing .arch-ids the directory with a file in your
> working tree requires changing the tree format: otherwise local
As mentioned elsewhere I'm assuming the tree format would be changed.
Stefan
_______________________________________________
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/
