| Sat, 10 Oct 2020 14:30:10 +0200 | Tomas Zeman | idea: version free | file | diff | annotate |
| Thu, 24 Sep 2020 11:58:38 +0200 | Tomas Zeman | idea: upgrade -> 2020.2 | file | diff | annotate |
| Wed, 27 May 2020 08:42:01 +0200 | Tomas Zeman | idea launcher | file | diff | annotate |