diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2019-04-08 19:18:03 -0300 |
|---|---|---|
| committer | Juan Linietsky <reduzio@gmail.com> | 2019-04-08 19:18:51 -0300 |
| commit | a20235aeb02c0c9e5ce58c0236f88a19865d571c (patch) | |
| tree | 9232009f86a08dedf4f6f709a8f1fd18a5df8322 /modules/mono/glue/Managed | |
| parent | 9ab17b664dbecad4bf773048c422c66320bd45eb (diff) | |
Add ability to edit editor feature profiles
Allows enabling/disabling parts of the editor and storing/loading profiles for that.
Diffstat (limited to 'modules/mono/glue/Managed')
0 files changed, 0 insertions, 0 deletions