63ce655e75
Settings defined in editor plugins are missing (about 100 of them), but all other settings (about 200 of them) can now be documented in the EditorSettings class. Co-authored-by: Rémi Verschelde <rverschelde@gmail.com> |
||
---|---|---|
.. | ||
classes | ||
tools | ||
translations | ||
class.xsd | ||
Doxyfile | ||
Makefile |