Sun, 07 Dec 2008 19:34:07 +0100 Merge bookmarks
David Soria Parra <dsp@php.net> [Sun, 07 Dec 2008 19:34:07 +0100] rev 7490
Merge bookmarks
Sun, 07 Dec 2008 19:33:26 +0100 Merge backout
David Soria Parra <dsp@php.net> [Sun, 07 Dec 2008 19:33:26 +0100] rev 7489
Merge backout
Sun, 07 Dec 2008 19:31:38 +0100 Backed out changeset 4c3e0ad58c5b
David Soria Parra <dsp@php.net> [Sun, 07 Dec 2008 19:31:38 +0100] rev 7488
Backed out changeset 4c3e0ad58c5b In discussion with mpm and tonfa we decided that we need a more generic solution and not a bookmark specific.
Sun, 07 Dec 2008 19:28:09 +0100 Merge backout
David Soria Parra <dsp@php.net> [Sun, 07 Dec 2008 19:28:09 +0100] rev 7487
Merge backout
Sun, 07 Dec 2008 19:27:57 +0100 Backed out changeset 187a13bd14c6
David Soria Parra <dsp@php.net> [Sun, 07 Dec 2008 19:27:57 +0100] rev 7486
Backed out changeset 187a13bd14c6 In discussion with mpm and tonfa we decided that we need a better rev syntax instead of a bookmark specific solution.
Sun, 07 Dec 2008 08:47:02 +0100 Merge bookmarks
David Soria Parra <dsp@php.net> [Sun, 07 Dec 2008 08:47:02 +0100] rev 7485
Merge bookmarks
Sat, 06 Dec 2008 19:30:20 +0100 bookmarks: do not overwrite bookmarks.current if not necessary
David Soria Parra <dsp@php.net> [Sat, 06 Dec 2008 19:30:20 +0100] rev 7484
bookmarks: do not overwrite bookmarks.current if not necessary If we update to the ref that the bookmarks.current points to, we do not want to update bookmarks.current
(0) -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip