index c1ec0b7b8de892aa436646190fb21bf4c5a4bed3..6e9dfa050113621f09b62da2a1fcfa6ea1eb33c3 100644 (file)
Binary files a/doc/info/hexagon.gif and b/doc/info/hexagon.gif differ
index cbc03d165a5a2aa81bcc3e2dee851b8484aac30e..57c61970ca152533035cfa8a9c9b5bb4aab28c11 100644 (file)
Binary files a/doc/info/house.gif and b/doc/info/house.gif differ