luanti-org/luanti
1
0
Fork 0
mirror of https://github.com/luanti-org/luanti.git synced 2025-10-30 23:15:32 +01:00
Code Activity
Files
72eec0f6f55b8515606de05d88717a78e978dd2a
luanti/builtin/profiler
History
ShadowNinja 43d1f375d1 Use a settings object for the main settings 
This unifies the settings APIs.

This also unifies the sync and async registration APIs, since the async
registration API did not support adding non-functions to the API table.
2017-05-06 15:33:19 -04:00
..
init.lua
Use a settings object for the main settings
2017-05-06 15:33:19 -04:00
instrumentation.lua
Use a settings object for the main settings
2017-05-06 15:33:19 -04:00
reporter.lua
Use a settings object for the main settings
2017-05-06 15:33:19 -04:00
sampling.lua
Use a settings object for the main settings
2017-05-06 15:33:19 -04:00