desiderius 709ddcb475 idea.pycharm-{community,professional}: 4.5.3 -> 4.5.4		2015-09-07 16:01:43 +02:00
..
default.nix	idea.pycharm-{community,professional}: 4.5.3 -> 4.5.4	2015-09-07 16:01:43 +02:00