▼ げんたさん
> 確かにRequests.txtは無関係なファイルとしてディレクトリに入っていました．ですからrequest.txtは古いままです．
> 私はファイルの編集までは責任を負えないので，これらのファイルはソースコード管理から外しましょうか．じぇぷろさんが適宜ホームページ等で公開すると言うことで．
たとえば、リソースは差分では扱えないからそのまま上書きになるのと同じで、これらのファイルも管理からははずし、ユーザからの更新アップロードがあったらそのまま上書きにしてソースに同梱すればいい、と思っていたんですが。。。
どうも、裏では実際は管理していたらしいので、「それならソース用にはそれでしかたない」ということで、「ユーザ用には管理番号を消してファイル名も変えて同梱しようかな」と考えてました。
ただソース管理からはずすとしてもバグ修正や要望実装のためにソースに同梱しなければ意味が薄くなります。zipに固める時に不要なバイナリやログなどを消していると思いますがそのときにこれらも同梱出来ませんか？