Skip to content

Allow use of plugin with IntelliJ 2023.2#65

Merged
zzehring merged 2 commits intozzehring:mainfrom niels-s:mainAug 2, 2023

Commits

Commits on Aug 2, 2023