6543 5ee07dcb4b switch basic things ... - change git submodule - rm usless .gitkeep - rm old theme - change global config to get theme terminal to work		2019-07-01 18:09:26 +02:00
..
terminal@016f54c162	switch basic things	2019-07-01 18:09:26 +02:00