Tom Willemse 3440624c99 Use terminator as terminal emulator		2015-04-08 15:12:16 +02:00
..
awesome	Use terminator as terminal emulator	2015-04-08 15:12:16 +02:00