Open/hide GitHub diff when clicking on diff header
Versione datata 19/03/2015. Vedi la nuova versione l'ultima versione.