How to clean local history?
Basically, you may manually delete history files. Please check this link for details on history files location:
https://www.jetbrains.com/help/phpstorm/local-history.html#location
请先登录再写评论。
Basically, you may manually delete history files. Please check this link for details on history files location:
https://www.jetbrains.com/help/phpstorm/local-history.html#location