mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-08-03 14:25:37 +02:00
Code Issues Wiki Activity
cdt/deprecated/plugins
History
Uwe Stieber 9c55da9030 Terminal: Make terminal settings store more flexible to allow to store 
non-string objects too
2015-02-13 15:58:37 +01:00
..
org.eclipse.tm.terminal.local Terminal: Make terminal settings store more flexible to allow to store 2015-02-13 15:58:37 +01:00
org.eclipse.tm.terminal.view Terminal: Make terminal settings store more flexible to allow to store 2015-02-13 15:58:37 +01:00