2020-12-31 12/31(木) まだまだファイルどうきたろう。差分検出どうするか悩んでる。まだ悩んでる。ローカルのファイルについてはどうとでもなるんだが、サーバ側で削除されていた場合、どうなっているのが正しいんだろうなあ。うーん。