File indexing completed on 2024-05-05 10:03:35
0001 #!/bin/sh 0002 echo >&2 "Warning: this script is superfluous" 0003 echo >&2 "Instead, use: svn merge -rBASE:PREV <filename>" 0004 echo >&2 0005 0006 svn merge -r BASE:PREV "$@"
File indexing completed on 2024-05-05 10:03:35
0001 #!/bin/sh 0002 echo >&2 "Warning: this script is superfluous" 0003 echo >&2 "Instead, use: svn merge -rBASE:PREV <filename>" 0004 echo >&2 0005 0006 svn merge -r BASE:PREV "$@"