Replaced get_line() from wumpus with get_user_string() from stdlib.
authorAaron Taylor <ataylor@subgeniuskitty.com>
Mon, 30 Mar 2020 03:44:11 +0000 (20:44 -0700)
committerAaron Taylor <ataylor@subgeniuskitty.com>
Mon, 30 Mar 2020 03:44:11 +0000 (20:44 -0700)
commit00ec7afcb1111d36f334292f8575660af92d3432
tree3f9ca733e4d90c6aa9a9ed9975dec91122752cd9
parent94bb110ac1b21df71e593141cdff5eb73582b9c5
Replaced get_line() from wumpus with get_user_string() from stdlib.
examples/wump/README.txt
examples/wump/wump_ui.pvvs