Ticket #13122: trac13122_extcode.patch

File trac13122_extcode.patch, 533 bytes (added by ohanar, 9 years ago)
  • deleted file mirror

    # HG changeset patch
    # User R. Andrew Ohana <andrew.ohana@gmail.com>
    # Date 1339998896 25200
    # Node ID 05c10e5f34de6e11117d810173a64a0242cb753f
    # Parent  fc1a8c8b0ca7927f9c69cedd1dad56afec4223de
    Remove last vestiges of darcs from Sage
    
    diff --git a/mirror b/mirror
    deleted file mode 100755
    + -  
    1 #!/bin/sh
    2 cd $HOME/sage/web/dist/src/extcode-darcs/
    3 darcs changes > changelog_darcs.txt
    4 echo "uploading"
    5 rsync -axLH --rsh=ssh --delete -r -v  * modular:/home/was/www/sage/dist/src/extcode-darcs