diff options
author | zelgadis <zelgadis@c06c8d41-db1a-0410-9941-cceddc491573> | 2009-01-30 09:06:17 +0000 |
---|---|---|
committer | zelgadis <zelgadis@c06c8d41-db1a-0410-9941-cceddc491573> | 2009-01-30 09:06:17 +0000 |
commit | 3672daef4bdeebdb96939bd32448e08b1f05358c (patch) | |
tree | 6286974f25cebcb6421ea00766307aa9ef2b67cb /crawl-ref/source/player.cc | |
parent | 10676923ec3e6a636e021089ef8e0e39c097e983 (diff) | |
download | crawl-ref-3672daef4bdeebdb96939bd32448e08b1f05358c.tar.gz crawl-ref-3672daef4bdeebdb96939bd32448e08b1f05358c.zip |
Store level generation information in env.properties, so that it can be
included in a crash dump even if the crash happens after level generation is
complete.
git-svn-id: https://crawl-ref.svn.sourceforge.net/svnroot/crawl-ref/trunk@8849 c06c8d41-db1a-0410-9941-cceddc491573
Diffstat (limited to 'crawl-ref/source/player.cc')
0 files changed, 0 insertions, 0 deletions