stefanocudini/leaflet-gps — pull request #6 by jpuerto (2014-11-16 19:17:15+00:00)
Title: #5 update circle radius

I've switched from tabs to spaces, unfortunately I don't use this plugin anymore because I've switched to d3js to create the circle with animations so I can't spent too much time making it to look better.