>>282
アドバイスありがとうございます。
↑のメッセージ中の「xxx.sql」が、リポジトリブラウザで
表示されない（存在しない）のが、謎なのです。
その上位のフォルダから「ロックを解除」等やってみたのですが
エラーが表示されて、削除できませんでした。