log hggit_sync.py @ 3:7d99080f276f default tip

age author description
Fri, 29 Jul 2016 21:33:53 -0700 Ludovic Chabant Fix rebuild option. default tip