diff options
| author | Estevan Castilho <tevo@riajuu.net> | 2026-10-10 01:09:42 +0000 |
|---|---|---|
| committer | Estevan Castilho <tevo@riajuu.net> | 2026-10-10 01:09:42 +0000 |
| commit | 2f786a514b54cf4f72eacb6578a11b20a5069aac (patch) | |
| tree | 266b3c68719dbe3928039953f75d7b3b63e3632a /lib/protocols/Evaluator.mli | |
| parent | 9be5137143177492e82dc25e6dbd3b82e3aa7e5d (diff) | |
| download | RNT-2f786a514b54cf4f72eacb6578a11b20a5069aac.tar.gz RNT-2f786a514b54cf4f72eacb6578a11b20a5069aac.zip | |
Make sessions counted, rather than exclusive
Diffstat (limited to 'lib/protocols/Evaluator.mli')
0 files changed, 0 insertions, 0 deletions