File indexing completed on 2025-01-26 05:13:51
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-01-26 05:13:51
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 "$@"