diff -r f6af58d4df42 -r 1462e380b82b tex/images/flag-hideexport.png
Binary file tex/images/flag-hideexport.png has changed