diff octMakefile.in @ 7496:e27f8afa99e5

better documentation on the INDEX file format
author carlo@guglielmo.local
date Tue, 19 Feb 2008 18:55:05 -0500
parents 3ceb12c499e9
children f805e026c481
line wrap: on
line diff