Revert "Possible fix for coverity #29375"
[supertux.git] / tools / include_optimize.rb
2009-11-19 Ingo RuhnkeAdded scripts for source code maintainance