mirror of
https://github.com/quickemu-project/quickemu.git
synced 2024-06-02 13:05:28 +02:00
Remove unused pretty_name()
This commit is contained in:
parent
0c3f16c980
commit
6d964212ed