> git clone git://git.wifi.pps.jussieu.fr/polipo
Do you have a gitweb? That would be nice.
> Chris's old branch is called polipo-chrisd
Oh, meaning 'chrisd/polipo' @ 20100113
193d95e3906967433081e0b10626a67c075ac131
> and his last tree is tagged ``polipo-chrisd-20100330''.
Oh, meaning 'polipo'
--- Begin Message ---
Dear all,
I've just moved the Polipo repository back to PPS. In order to get the
upstream Polipo sources, you now need to do
git clone git://git.wifi.pps.jussieu.fr/polipo
My branch is called ``master''; Chris's old branch is called
``polipo-chrisd'', and his last tree i
2 matches
Mail list logo
