diff options
| author | Emilio Jesus Gallego Arias | 2019-01-23 13:48:10 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-01-23 13:48:10 +0100 |
| commit | bc943f0956496ed0e02de08a5a3a1b922423e72c (patch) | |
| tree | f60995b5b53bb543e4f83611bde2b5c47998ed6f /plugins/syntax | |
| parent | 398b13bb6937cca90c685e4f8dba6a1db60a103e (diff) | |
| parent | 03a50923af6fec0deb0c3c2218656bfb74341e47 (diff) | |
Merge PR #9337: Fixing #9329: registering empty levels in the order they are computed
Reviewed-by: ejgallego
Diffstat (limited to 'plugins/syntax')
0 files changed, 0 insertions, 0 deletions