diff doc/gendoc.py @ 14453:ea3d548132cc

patch: do not patch unknown files (issue752)
author Patrick Mezard <pmezard@gmail.com>
date Fri, 27 May 2011 21:50:11 +0200
parents d5b525697ddb
children f5b0834cf685
line wrap: on
line diff