zadam b25c1d6fa8 Merge branch 'master' into m41		2020-01-18 09:25:18 +01:00
..
codeStyles
dataSources	pane rename	2020-01-11 18:33:43 +01:00
inspectionProfiles
jsLinters
.gitignore	more robust handling of sync error, fixes #830	2020-01-18 08:48:36 +01:00
dataSources.xml
encodings.xml
jsLibraryMappings.xml	small refactorings	2019-10-20 13:09:00 +02:00
misc.xml
modules.xml
sqldialects.xml
vcs.xml