ide: define ide's settingsName in a single location.
authorRejean Loyer <redj@ecere.com>
Mon, 15 Sep 2014 01:00:07 +0000 (21:00 -0400)
committerRejean Loyer <redj@ecere.com>
Mon, 16 Mar 2015 05:31:37 +0000 (01:31 -0400)
commitc5ad453d651224854604ca3a0e6e5dd9e51b2417
tree6cc90f1e0f8add9c2fd1abd7347222c3b7f15d7e
parent93a75c43931668dc8afe6432e699194d7ba873e9
ide: define ide's settingsName in a single location.
ide/src/IDESettings.ec
ide/src/OldIDESettings.ec