diff -r 72f7dd1a3754 -r ead6089209ba pics/hoare.jpg
Binary file pics/hoare.jpg has changed