Commit 818be9d2 authored by Rene Ladan's avatar Rene Ladan
Browse files

games/prboom: Remove expired port 

2025-01-30 games/prboom: Unmaintained, use games/prboom-plus instead
parent a49c2abc
Show whitespace changes
Inline Side-by-side
Please register or to comment