JAremko f5e58bfb37 Shorten messages		2017-08-02 20:41:57 +03:00
..
_worker.el	Shorten messages	2017-08-02 20:41:57 +03:00
run.el	Shorten messages	2017-08-02 20:41:57 +03:00