From a crocodile sporting a boar-like snout to a peculiar pal with buckteeth for digging up grub, an odd-looking bunch of such reptiles dashed and swam across what is now the Sahara Desert some 100 million years ago when dinosaurs ruled.