Edward Tjörnhammar 9eb5fef92f idea.idea-{community,ultimate}: bump 13.1.4b -> 13.1.5		2014-10-12 10:27:10 +02:00
..
default.nix	idea.idea-{community,ultimate}: bump 13.1.4b -> 13.1.5	2014-10-12 10:27:10 +02:00