turns out the push script was not needed
turns out the push script was not needed

darcs-hash:20080603073453-a887e-1279e56d7e5b91fda9efe02d1b52169e9e8deb36.gz

thjaeger/easystroke,RaphaelRochet/easystroke,RaphaelRochet/easystroke,thjaeger/easystroke