#!/bin/sh

#BZR_DEV=$HOME/bin/bzr.dev

BZR=bzr
if [ -x "$BZR_DEV" ]; then
    BZR=$BZR_DEV
fi

#$BZR push https://pa-do.svn.sourceforge.net/svnroot/pa-do/trunk
$BZR push svn+ssh://svn.forge.ocamlcore.org/svnroot/pa-do/trunk
