[Dillo-dev] Repository branch name

July 16, 2011

      Hi,

  Is there an easy way to rename the repo name from "dillo_port1.3"
to "dillo3"?

-- 
  Cheers
  Jorge.-

jcid＠dillo.org