08/02/24 19:58:55 wgaWwdjv0
拡張を更新した時の履歴をとっておいてくれるようなのない?
調子が悪くなった時とかに、いつどの拡張を更新したのか(バージョン番号も含めて)知りたい。
MR Tech Local Installにありそうな気がしたけどなさそう。
08/02/24 19:58:55 wgaWwdjv0
拡張を更新した時の履歴をとっておいてくれるようなのない?
調子が悪くなった時とかに、いつどの拡張を更新したのか(バージョン番号も含めて)知りたい。
MR Tech Local Installにありそうな気がしたけどなさそう。