Reset dig_time when switching to a tool that cant dig the current node
authorPilzAdam <pilzadam@minetest.net>
Thu, 13 Jun 2013 12:41:23 +0000 (12:41 +0000)
committerPilzAdam <pilzadam@minetest.net>
Thu, 13 Jun 2013 13:34:48 +0000 (13:34 +0000)
commit7a58c1d4ca7a59f05043ff3c2caeab16c0a78a0d
treebad1f4cef98ba6e92bcd8997a619e9fc24c86b63
parent21d6b39fd734af632aa4847935ac5f2a4ad6dc61
Reset dig_time when switching to a tool that cant dig the current node
src/game.cpp