diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-06-10 09:37:53 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-10 09:37:53 +0200 |
| commit | e9da28464a48bfe52fb39a638678f200a08ef97a (patch) | |
| tree | 276ff6dffab7a522bcd20dc570cb01a645089505 /editor | |
| parent | e29a395571da719e6af2dd3adfc3753d8b14ed28 (diff) | |
| parent | 6b9a81900ed44319abe2f47fdf0237a65a7fa047 (diff) | |
Merge pull request #61863 from m4gr3d/switch_editor_kotlin_main
Diffstat (limited to 'editor')
0 files changed, 0 insertions, 0 deletions