File:OldInfdev.png

An early Infdev version.