4 Commits

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