diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-05-13 17:41:25 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-05-13 17:41:25 +0100 |
| commit | c9c9b4e9eda37bcc837fede4528a54dd20dc3989 (patch) | |
| tree | 19315db3733c3659e471891a9640496bcccda6e7 /crates/ide/src/lib.rs | |
| parent | 38a53c29ea527d938c8d3922260d6b6e0a34183b (diff) | |
| parent | 07fe9a890d2e201e64a8f35fa3ca741dbacf274d (diff) | |
Merge #8823
8823: Enable OPTION::ENABLE_TASKLISTS in pulldown_cmark r=Veykril a=Veykril
Closes #8821
Co-authored-by: Lukas Wirth <[email protected]>
Diffstat (limited to 'crates/ide/src/lib.rs')
0 files changed, 0 insertions, 0 deletions