File indexing completed on 2024-12-15 05:11:26
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-12-15 05:11:26
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 "$@"