Fumagalli's registry file uploads

Fumagalli hasn't uploaded any registry files yet.