Skip to content

Instantly share code, notes, and snippets.

@pushmon

pushmon/gist:1886418

Created February 22, 2012 18:12
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save pushmon/1886418 to your computer and use it in GitHub Desktop.
Save pushmon/1886418 to your computer and use it in GitHub Desktop.
Download ZIP
Ant
Raw
gistfile1.xml
<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