devel/jetbrains-webstorm: Update to 2023.1.3
ChangeLog: https://youtrack.jetbrains.com/articles/WEB-A-233538426
PR: 272330
Reported by: dmitry.wagin@ya.ru (maintainer)
Description
Description
Details
Details
- Provenance
dmitry.wagin_ya.ru Authored on Jul 3 2023, 6:52 AM fernape Committed on Jul 3 2023, 4:37 PM - Parents
- R11:df96d13d3987: devel/jetbrains-phpstorm: Update to 2023.1.3
- Branches
- Unknown
- Tags