dev-db/redis: Merge remote-tracking branch 'github/pr/13619'
[gentoo.git] / games-strategy / colobot /
drwxr-xr-x   ..
-rw-r--r-- 319 Manifest
-rw-r--r-- 1478 colobot-0.1.12.ebuild
-rw-r--r-- 1422 colobot-9999.ebuild
-rw-r--r-- 418 metadata.xml