tree e42a12c3ab2bb10c83bca226e733a19d6c1d12e2
parent 378a776166d248933094b93fcae226b18eb9c5e5
author Guillaume Nodet <gnodet@gmail.com> 1662616840 +0200
committer GitHub <noreply@github.com> 1662616840 +0200
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJjGYUICRBK7hj4Ov3rIwAA0VQIAELyOl7Li+hdJJ+3ps9xEBy4
 A/OfEvbCOowSR4syU+Bjz1TRklkUDONiXj3BCyINhRJNDWjTcyQtbIvID8Eya5vs
 t0D+OkRyg1O8zFjCQhbEUSAuMoe36eZ6saEGzJhzURWvrSJV2IIId/DQW5N6xvJR
 QM5AeOR1WlzruLzsRlYgG5ma3UCYWEXbaukafDAfjFJVrueoB3gtEheVBZ2y8oWQ
 lfrRFgQnq+lRmzk70Y4qi8AH5zSBn+m5NN5jpL+cokCmWvLn+tKRiO5LkfAg7xWM
 TlmlZ20TTvsrzWIswWTEnb7YtUhvie62XLvU1M6+yBLU2cFKheei0624Zl6F1ks=
 =9h1C
 -----END PGP SIGNATURE-----
 

Improve Intellij integration, fixes #664 (#684)