Skip to content

Instantly share code, notes, and snippets.

@pushmon pushmon/gist:1886418
Created Feb 22, 2012

What would you like to do?
<project name="urlping" default="urlping" basedir=".">
<target name="urlping">
<get src="" dest="./~pushmon.tmp" />
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.