diff doc/scripts/docgen.py @ 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 9472d234db2e
children 57feab73c783
line wrap: on
line diff