"Derek Zhou" <[EMAIL PROTECTED]> writes: > I can make some patches so that tla will complain loud if a greedy > revlib is not found. Also how about a default greedy revlib in > either ~/my-tla-revlib or /tmp/uid-tla-revlib?
Would /tmp/uid-tla-revlib really be an improvement over pristine trees? (usually, /tmp is deleted at reboot, whereas pristine trees are persistant) -- Matthieu _______________________________________________ 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/
