log db/usr/pragmo/git @ 1260:f5ad11b817f1 draft default tip master

age author description
Tue, 25 Jan 2011 12:47:33 +0000 root Changed pragmo's git url draft