Delete dictionary_manager at the end of Main::run()
authorIngo Ruhnke <grumbel@gmail.com>
Tue, 12 Aug 2014 20:50:45 +0000 (22:50 +0200)
committerIngo Ruhnke <grumbel@gmail.com>
Tue, 12 Aug 2014 20:50:45 +0000 (22:50 +0200)
commitaf3e5e077453d4cb35f6c183254b0a9e655003de
tree18c391e97baefca4e2608cbc587794baf22eeebf
parent585d719e3b20f7d781faeb730a15760a011a6e6b
Delete dictionary_manager at the end of Main::run()
src/supertux/main.cpp