diff options
| author | Blaž Hrastnik | 2021-10-17 05:06:52 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2021-10-17 05:06:52 +0000 |
| commit | bda05ec4bfb861c9880dd700ab31c1f9bc79e926 (patch) | |
| tree | 83f5dfd3faafcff26def96935def03e91ab03ce0 /runtime/queries/ocaml/highlights.scm | |
| parent | 83a816740268ec527bf2f908cf752cfcbedc81f9 (diff) | |
Use a newtype for ThreadId
Diffstat (limited to 'runtime/queries/ocaml/highlights.scm')
0 files changed, 0 insertions, 0 deletions