diff options
author | Michael Davis | 2022-04-20 01:43:09 +0000 |
---|---|---|
committer | GitHub | 2022-04-20 01:43:09 +0000 |
commit | c8cfd0b1a0da071618a9efc71ac5735d6147a0ca (patch) | |
tree | 27c798673e01ce502aa7bac66255cf47765b7614 /grammars.nix | |
parent | 3a7bf1c40cba7f4763df38e347587b5c3003d080 (diff) |
override nested arrays when merging TOML (#2145)
We merge the elements of arrays for the top-level array. For
`languages.toml`, this is the array of languages. For any nested
arrays, we simply take the `right` array as-is instead of using
the union of `left` and `right`.
closes #1000
Diffstat (limited to 'grammars.nix')
0 files changed, 0 insertions, 0 deletions