diff AUTHORS @ 12962:789f9488bd0d

Makefile replacement for compile script
author diego
date Thu, 05 Aug 2004 00:11:54 +0000
parents 583999800746
children 8d5018102a48
line wrap: on
line diff