diff options
author | Philipp Mildenberger | 2023-04-05 16:08:14 +0000 |
---|---|---|
committer | Philipp Mildenberger | 2023-05-18 19:58:17 +0000 |
commit | dcb07673f8f1f22b7a5f8fd56b8dd74107e3096e (patch) | |
tree | 2cfbfd1f2bb8431dbb63a05b981d832b2000b463 /runtime/queries/bibtex/highlights.scm | |
parent | 56748509bdb6cb16006ccc06eb15a7ee09028afc (diff) |
Reorder id generation for Clients to stay close to the old behavior
Diffstat (limited to 'runtime/queries/bibtex/highlights.scm')
0 files changed, 0 insertions, 0 deletions