{"shas":[["3f83ee4709e22e83cd3ae257a105c0a0e82d87d9","e3b6cda228242c30b711ac17cb264f1dbadfd0b6@peterhiggins.org","Reduce font size in gvimrc.","pete higgins"]],"ref":"refs/heads/master","size":1,"head":"3f83ee4709e22e83cd3ae257a105c0a0e82d87d9","push_id":34588689}