diff options
author | Loïc Blot <nerzhul@users.noreply.github.com> | 2017-08-20 17:20:11 +0200 |
---|---|---|
committer | Loic Blot <loic.blot@unix-experience.fr> | 2017-08-20 17:25:07 +0200 |
commit | 7968f1ddaa67432719d5becdda5ca8bec58faa47 (patch) | |
tree | 6e0573515d26a54b08c3ce82f0a6becc7d6e6475 /builtin/profiler/instrumentation.lua | |
parent | caecdb681c428c1aab9c0f7eec2570c0460f995c (diff) | |
download | minetest-7968f1ddaa67432719d5becdda5ca8bec58faa47.tar.gz minetest-7968f1ddaa67432719d5becdda5ca8bec58faa47.tar.bz2 minetest-7968f1ddaa67432719d5becdda5ca8bec58faa47.zip |
New version scheme (#6292)
* Version changes: current dev version is now 0.4.17
* This change permit to have multi branches with various versions
* Dev version is 0.4.17-dev and next release will be 0.4.17
Diffstat (limited to 'builtin/profiler/instrumentation.lua')
0 files changed, 0 insertions, 0 deletions