diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-06-16 20:11:39 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-06-16 20:11:39 +0200 |
| commit | 341cb8da311698d685b390524d0f20795f1774d7 (patch) | |
| tree | 7e565ed6fe2a0691a33b0d18b2cdf1103aab53ec /doc/Makefile | |
| parent | 48fe9c97948f44125e68f3b8f67eaaf032c763bd (diff) | |
| parent | 5c618dd03dd4fe1ada234e91a08bcf12eb8f7aa7 (diff) | |
Merge pull request #49238 from Paulb23/code_edit_code_folding
Move code folding into CodeEdit and hide line hiding API
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions