Index of /~jhs/src/bsd/fixes/gifs/flag