summaryrefslogtreecommitdiff
path: root/source_repositories
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2022-02-11 01:26:52 +0100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2022-02-11 01:26:52 +0100
commitdea83f48eaf03422ee94c351a4520257e4d319f4 (patch)
tree40338052b5a86efed74668c4bd36e5898cd1e1b2 /source_repositories
parent3986853dc7b1fa3f07ab518dfebe8de0096a4d26 (diff)
Make it clear that there is user-land preemption
Diffstat (limited to 'source_repositories')
0 files changed, 0 insertions, 0 deletions