Sat, 05 Nov 2016 17:38:05 +0100 František Kučera rename bash → shell v_0.1