# HG changeset patch # User root # Date 1295959653 0 # Node ID 0bc8209801722aea5d84f8590d5c3bc3d11c0210 # Parent 1d0a52e55b7045a60add710f871605d48a0c6ad0 Changed pragmo's git url diff -r 1d0a52e55b70 -r 0bc820980172 db/usr/pragmo/git --- a/db/usr/pragmo/git Thu Jan 20 16:22:28 2011 +0000 +++ b/db/usr/pragmo/git Tue Jan 25 12:47:33 2011 +0000 @@ -1,1 +1,1 @@ -git://pragmo.ano/ +git://git.pragmo.ano/