renamed timer_type to Timer
authorIngo Ruhnke <grumbel@gmx.de>
Sun, 11 Apr 2004 16:38:58 +0000 (16:38 +0000)
committerIngo Ruhnke <grumbel@gmx.de>
Sun, 11 Apr 2004 16:38:58 +0000 (16:38 +0000)
commitb322b763e4782f0519434fed6dbee60686eeb1a4
treecd2f0d73ae014b5d3f2642d87fbbbfdb13230a95
parent2c78a029e3c7915c34011ac12f2ad07d5a46e0df
renamed timer_type to Timer

SVN-Revision: 481
14 files changed:
src/badguy.h
src/button.cpp
src/button.h
src/gameloop.h
src/gameobjs.h
src/globals.cpp
src/intro.cpp
src/leveleditor.cpp
src/menu.h
src/mousecursor.h
src/player.h
src/timer.cpp
src/timer.h
src/title.cpp