EvilSeph f4cdf8fe98 Add isHardcore API to check if the server is in hardcore mode or not. Adds BUKKIT-2707		2012-10-29 01:46:14 -04:00
..
bukkit/craftbukkit	Add isHardcore API to check if the server is in hardcore mode or not. Adds BUKKIT-2707	2012-10-29 01:46:14 -04:00