Uwe Stieber 91db4b63c9 Terminal: Make terminal settings store more flexible to allow to store ... non-string objects too		2015-02-13 15:58:37 +01:00
..
features	Terminal: Clean out terminal feature structure	2015-02-09 15:22:05 +01:00
plugins	Terminal: Make terminal settings store more flexible to allow to store	2015-02-13 15:58:37 +01:00