2022-03-02 PlatformIO 小ネタメモ PIO HomeのLibrary Optionsでライブラリを削除した際に変更が反映されないとき platformio.iniのlib_depsの該当行を消す