More informative and shorter headers.

This commit is contained in:
Calinou
2015-01-12 17:46:30 +01:00
parent 645a377734
commit aae5d447fd
7 changed files with 9 additions and 21 deletions

View File

@ -1,10 +1,8 @@
--[[
======================================================================
This file is part of Map Tools.
Map Tools: alias definitions
Copyright (c) 2012-2015 Calinou and contributors.
Licensed under the zlib license. See LICENSE.md for more information.
======================================================================
--]]
minetest.register_alias("adminpick", "maptools:pick_admin")