{"head":"911d0bb2525605b0344bba90710c78b0e79add5e","size":1,"push_id":47617060,"commits":[{"sha":"911d0bb2525605b0344bba90710c78b0e79add5e","author":{"name":"Matthew Moses","email":"0aa36708d450ffd579d82606680fc34171a59e41@fastmail.fm"},"url":"https://api.github.com/repos/mlmoses/mydots/commits/911d0bb2525605b0344bba90710c78b0e79add5e","message":"Use 12 pt font in Windows.\n\nIn Windows, the Ubunto monospace font at 10 pt is too small. However,\nthe larger 12 pt seems to work well."}],"ref":"refs/heads/master","legacy":{"head":"911d0bb2525605b0344bba90710c78b0e79add5e","size":1,"push_id":47617060,"shas":[["911d0bb2525605b0344bba90710c78b0e79add5e","mlmoses@fastmail.fm","Use 12 pt font in Windows.\n\nIn Windows, the Ubunto monospace font at 10 pt is too small. However,\nthe larger 12 pt seems to work well.","Matthew Moses"]],"ref":"refs/heads/master"}}