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

質問

役に立った：0件

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

この質問への回答は締め切られました。

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

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