diff Makefile @ 9226:5e75451005fc

fixed outdated infos
author arpi
date Sun, 02 Feb 2003 20:57:21 +0000
parents 6ecc0b5c08cb
children 32be26de0d7c
line wrap: on
line diff