diff options
author | Robert Vollmert <rvollmert@gmx.net> | 2009-11-20 12:56:27 +0100 |
---|---|---|
committer | Robert Vollmert <rvollmert@gmx.net> | 2009-11-20 12:56:27 +0100 |
commit | da2087dbf43a9d7eb43adf96c172224914ce4c7e (patch) | |
tree | c2d8298e602d1aa7cc27b2f3f21459bb1c0ce0b5 /crawl-ref/source/viewmap.cc | |
parent | c4a8eb37d09a2fd4bbabed9221c1526db108897b (diff) | |
download | crawl-ref-da2087dbf43a9d7eb43adf96c172224914ce4c7e.tar.gz crawl-ref-da2087dbf43a9d7eb43adf96c172224914ce4c7e.zip |
Remove unused is_player_seen.
Diffstat (limited to 'crawl-ref/source/viewmap.cc')
0 files changed, 0 insertions, 0 deletions