Make sure that duplicate Addon install requests don't lead to duplicates in the insta...
[supertux.git] / src / addon /
drwxr-xr-x   ..
-rw-r--r-- 3772 addon.cpp
-rw-r--r-- 2354 addon.hpp
-rw-r--r-- 12580 addon_manager.cpp
-rw-r--r-- 2791 addon_manager.hpp
-rw-r--r-- 3395 downloader.cpp
-rw-r--r-- 1530 downloader.hpp
-rw-r--r-- 11927 md5.cpp
-rw-r--r-- 4545 md5.hpp