diff options
| author | rubenwardy <rw@rubenwardy.com> | 2017-09-09 20:33:28 +0100 |
|---|---|---|
| committer | rubenwardy <rw@rubenwardy.com> | 2017-09-09 20:42:23 +0100 |
| commit | 41b7823057bdaddd760f932dce802719301c3a0f (patch) | |
| tree | 1d3e9162d07a86f64cf206b4aebb5cc043b4517f /builtin/profiler/init.lua | |
| parent | 7968f1ddaa67432719d5becdda5ca8bec58faa47 (diff) | |
| download | minetest-41b7823057bdaddd760f932dce802719301c3a0f.tar.gz minetest-41b7823057bdaddd760f932dce802719301c3a0f.tar.bz2 minetest-41b7823057bdaddd760f932dce802719301c3a0f.zip | |
Fix branch being labelled as 0.4.17 instead of 0.4.17-dev
You should use tags instead of this branch to track the latest release
Diffstat (limited to 'builtin/profiler/init.lua')
0 files changed, 0 insertions, 0 deletions