diff make-dist @ 83585:2d1770557962

(OBJ1): Add terminal.$(O)
author Jason Rumney <jasonr@gnu.org>
date Tue, 15 May 2007 23:11:07 +0000
parents 69151e6e8613
children 4b9e26bc6f59 ec58e5c426ef
line wrap: on
line diff