File indexing completed on 2025-06-29 05:08:07
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 2025-06-29 05:08:07
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 "$@"