Skip to content

Instantly share code, notes, and snippets.

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

Embed
What would you like to do?
Ant
<project name="urlping" default="urlping" basedir=".">
<target name="urlping">
<get src="http://pshmn.com/eaFnY" dest="./~pushmon.tmp" />
</target>
</project>
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.