barinbritva

# Delete local tag
git tag -d tagname
# Delete remote tag
git push origin :tagname
# Or
git push --delete origin tagname


# Set author globally
git config --global user.name "Barin Britva"

barinbritva

function deg2rad (angle) {
  return angle * .017453292519943295;
}

function distance($lat1,$lng1,$lat2,$lng2) 
{ 
  $lat1=deg2rad($lat1); 
  $lng1=deg2rad($lng1); 
  $lat2=deg2rad($lat2); 
  $lng2=deg2rad($lng2);