OSDN Git Service

オプションの名前を変えたとき、古い名前の設定を含む prf ファイルを最後まで
authormogami <mogami@0568b783-4c39-0410-ac80-bf13821ea2a2>
Tue, 15 Jan 2002 02:37:04 +0000 (02:37 +0000)
committermogami <mogami@0568b783-4c39-0410-ac80-bf13821ea2a2>
Tue, 15 Jan 2002 02:37:04 +0000 (02:37 +0000)
commitad8ae91415ac434e73a98ffb5f8ea67082072fa8
treeb1e6b5f009ac908f96c40e2d2c3980e8e46f4a19
parentdc065ab053518e0c8ad837d3e189bad4342ab273
オプションの名前を変えたとき、古い名前の設定を含む prf ファイルを最後まで
読み込まずに問題を起すので、オプション設定行のエラーで読み込みを止めずに
単に無視するように修正。
src/files.c