Jiri Danek d3a94427f5 jetbrains.datagrip: 2018.1.5 -> 2018.2		2018-07-29 16:44:33 +02:00
..
common.nix	Merge branch 'master' into unused5	2018-07-21 15:41:22 +01:00
default.nix	jetbrains.datagrip: 2018.1.5 -> 2018.2	2018-07-29 16:44:33 +02:00
update.pl	jetbrains: update.pl use channel name	2018-06-18 11:36:38 +03:00