Tobias Loose 15011961f4 Do only prefetch cards if resource management is threaded

2013-12-06 16:43:09 +01:00

..

mtg

Do only prefetch cards if resource management is threaded

2013-12-06 16:43:09 +01:00