IRIAのダウンロード履歴について

IRIAのダウンロード履歴が消しても消しても出てくるんですけど、どうやったら消えるんでしょうか？どうやっても出てきて困っています。ダウンロードした量が多くて動きが鈍いので消したいのですが。どなたかわかる方よろしくお願いします。

No.1 ベストアンサー 回答者： x-game 回答日時： 2001/08/03 23:19

こんにちは．

Iriaをインストールしているディレクトリに，Default.ireというファイルがありませんか？このファイルがダウンロード履歴のファイルです．このファイルごと消せば履歴は消えます．ファイルを消しても，Iriaが後で勝手に作成しますので問題ありません．

この回答へのお礼

ありがとうございました。ほんとに助かりました。次回も何かあればよろしくお願いします。

お礼日時：2001/08/04 00:46