Make vitrified tombs timeout the same as normal tombs
authorDracoOmega <draco_omega@live.com>
Tue, 19 Mar 2013 23:06:27 +0000 (20:36 -0230)
committerDracoOmega <draco_omega@live.com>
Wed, 20 Mar 2013 00:30:00 +0000 (22:00 -0230)
commit5cf8fccbb1dec24949af0965722dd467f1aad57c
tree387694195e27206f73ae3b8dfc06e29c7989a503
parent47e83e4952909e67179b623f0c94d4aa6bb9fca0
Make vitrified tombs timeout the same as normal tombs

This fixes #6791
crawl-ref/source/misc.cc