2 commits

Author	SHA1	Message	Date
Rémi Verschelde	f18121824c	Add missing license headers ... Make `fix_headers.py` script compatible with Python 3.	2019-06-11 15:33:32 +02:00
Juan Linietsky	a20235aeb0	Add ability to edit editor feature profiles ... Allows enabling/disabling parts of the editor and storing/loading profiles for that.	2019-04-08 19:18:51 -03:00