Generated while processing SuperTux/src/addon/downloader.cppGenerated on 2019-Nov-16 from project SuperTux revision 0.6.1Powered by Code Browser 2.1 Generator usage only permitted with license.