Sat, 18 Oct 2008 23:45:45 +0200 patch: extract and rename gitpatch into patchmeta, document
Patrick Mezard <pmezard@gmail.com> [Sat, 18 Oct 2008 23:45:45 +0200] rev 7148
patch: extract and rename gitpatch into patchmeta, document
Sat, 18 Oct 2008 23:45:45 +0200 patch: remove applydiff() useless updatedir and rejmerge arguments
Patrick Mezard <pmezard@gmail.com> [Sat, 18 Oct 2008 23:45:45 +0200] rev 7147
patch: remove applydiff() useless updatedir and rejmerge arguments
Sat, 18 Oct 2008 23:20:23 +0200 merge with crew
Benoit Boissinot <benoit.boissinot@ens-lyon.org> [Sat, 18 Oct 2008 23:20:23 +0200] rev 7146
merge with crew
(0) -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip