diff -r 5378ed53ec92 -r beb875135811 tex/default-flags.png
Binary file tex/default-flags.png has changed