Changeset 3318 in orxonox.OLD for orxonox/branches/updater/src/gui/orxonox_gui.cc
- Timestamp:
- Jan 3, 2005, 12:20:48 PM (21 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
orxonox/branches/updater/src/gui/orxonox_gui.cc
r3317 r3318 131 131 OrxonoxGui::~OrxonoxGui(void) 132 132 { 133 133 delete video; 134 delete audio; 135 delete exec; 136 delete flags; 137 delete banner; 138 delete keys; 139 delete update; 134 140 }
Note: See TracChangeset
for help on using the changeset viewer.