Mentions of "unthreaded" replaced with "single-threaded"#250

Merged

lhstrh merged 9 commits intomainfrom single-threaded

Nov 8, 2023

+117-131

Commits on Jul 13, 2023

Replaced 'unthreaded' with 'single-threaded' in all variables and comments.
patilatharva
committed
Merge branch 'main' into single-threaded
patilatharva
authored

Commits on Nov 3, 2023

Merge remote-tracking branch 'origin/main' into single-threaded
erlingrj
committed

Commits on Nov 7, 2023

More renamings
erlingrj
committed

Commits on Nov 8, 2023

Merge branch 'main' into single-threaded
lhstrh
authored