16 Jul
2011
16 Jul
'11
4:18 a.m.
Hi, Is there an easy way to rename the repo name from "dillo_port1.3" to "dillo3"? -- Cheers Jorge.-
17 Jul
17 Jul
12:35 p.m.
On Fri, Jul 15, 2011 at 10:17:33PM -0400, Jorge Arellano Cid wrote:
Hi,
Is there an easy way to rename the repo name from "dillo_port1.3" to "dillo3"?
I'd rather merge dillo_port1.3 over into our main repository, once dillo-2.2.1 is tagged and released. I can do that. Cheers, Johannes
4872
Age (days ago)
4873
Last active (days ago)
1 comments
2 participants
participants (2)
-
jcid＠dillo.org -
Johannes.Hofmann＠gmx.de