Buenas. Hace un tiempo seguí un tutorial que permitía usar por defecto el media player de 64 bits en vez de el de 32 en Windows 7. Creo que había que cambiar algo del registro, pero el caso es que ahora por mucho que busco no encuentro nada.
Sabéis de algún tutorial o la manera de hacerlo?