Fixes #4189: theme box fails when entering second theme.
[redakcja.git] / src / redakcja / static / js / lib / codemirror-5.49.0 /
2019-10-12 Radek CzajkaYou will find only what you bring in.