diff doc/ext.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 7edb78ba4c5b
children
line wrap: on
line diff