Fix mining drill digging in the wrong direction

ShadowNinja

2013-12-23 8e2cb0121b4c86d85e2da82d89b44e9cb3b70dd3

Fix mining drill digging in the wrong direction

 technic/tools/mining_drill.lua

@@ -172,9 +172,9 @@
        end
        if dir==3 then  -- z-
            drill_dig_it0 (pos,player)
            pos.z=pos.z+1
            pos.z=pos.z-1
            drill_dig_it0 (pos,player)
            pos.z=pos.z+1
            pos.z=pos.z-1
            drill_dig_it0 (pos,player)
        end
    end