fixed bug with using wrong draw buffer after request if game has ended
authorHolger Schemel <info@artsoft.org>
Wed, 16 Dec 2020 11:01:50 +0000 (12:01 +0100)
committerHolger Schemel <info@artsoft.org>
Wed, 16 Dec 2020 11:19:07 +0000 (12:19 +0100)
commit926cd5be0cd14684d9b15878b32fe4ada50865ea
treeea3fedc8a77ce3a4f1e659f29f64343bba90e72d
parent057b316dc37539f09126a785a664aacf85b99307
fixed bug with using wrong draw buffer after request if game has ended
src/tools.c
src/tools.h