diff options
| author | 2022-08-27 14:48:19 +0100 | |
|---|---|---|
| committer | 2022-08-27 14:48:19 +0100 | |
| commit | 28a7f1f0c8163fe202ad0b6c228ff48dc0c13934 (patch) | |
| tree | 88b41aee139056b3cac1079b0e49ec784c1e8786 /src/users.cpp | |
| parent | Replace GetUserCounter() with GetUsers().size(). (diff) | |
| parent | Release v3.14.0. (diff) | |
Merge branch 'insp3' into master.
Diffstat (limited to 'src/users.cpp')
0 files changed, 0 insertions, 0 deletions
