204 Commits

Author	SHA1	Message	Date
daniel	e7a29d6f32	add gui settings	2020-12-05 14:19:31 +01:00
daniel	524260681c	add general settings	2020-12-05 14:12:28 +01:00
daniel	b7f34e626d	add pre settings	2020-12-05 13:41:30 +01:00
daniel	9a18bede63	changed name of semantic settings to cedet	2020-12-05 13:15:03 +01:00