diff options
| author | SmallJoker <SmallJoker@users.noreply.github.com> | 2022-04-24 21:08:33 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-04-24 21:08:33 +0200 |
| commit | 1c8614ac9ad591f8025712deae26b572cdede50d (patch) | |
| tree | 6e43d1a79e8705890b075d98c793c57b6b8760b2 /src/profiler.h | |
| parent | 4558793caf48d63c74574ba740a96c92d0afcc2c (diff) | |
| download | minetest-1c8614ac9ad591f8025712deae26b572cdede50d.tar.gz minetest-1c8614ac9ad591f8025712deae26b572cdede50d.tar.bz2 minetest-1c8614ac9ad591f8025712deae26b572cdede50d.zip | |
Builtin: Allow to revoke unknown privileges
Diffstat (limited to 'src/profiler.h')
0 files changed, 0 insertions, 0 deletions