3 Commits

Author	SHA1	Message	Date
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