diff doc/index.txt @ 1319:7185d194bb7e

Added question about doc format in file header
author Olivier Delalleau <delallea@iro>
date Fri, 08 Oct 2010 12:07:56 -0400
parents 9ce32a8252d2
children 04d859714506
line wrap: on
line diff