10/31(火)

設定ファイルの編集どうするのが良いんだろうと思っていたのだが、普通にエディタ起動させちゃってそこで編集させるのが最高、という事に気付いたのでそういう対応をしてた。いやー、人のライブラリは本当に良く出来てる。