Von Random 1f3f908be1 no more iceberg theme, does not work well on my screen :(		2018-06-26 20:02:19 +03:00
..
opt	python-specific plugins are back	2018-06-25 15:13:09 +03:00
start	no more iceberg theme, does not work well on my screen :(	2018-06-26 20:02:19 +03:00