| commit | 77a14f956b0c2bb23d55c487ef8c48661796bf4e | [log] [tgz] |
|---|---|---|
| author | Guillaume Nodet <gnodet@gmail.com> | Thu Sep 08 08:00:40 2022 +0200 |
| committer | GitHub <noreply@github.com> | Thu Sep 08 08:00:40 2022 +0200 |
| tree | e42a12c3ab2bb10c83bca226e733a19d6c1d12e2 | |
| parent | 378a776166d248933094b93fcae226b18eb9c5e5 [diff] |
Improve Intellij integration, fixes #664 (#684)