comparison doc/index.html @ 933:8c5ba3e94e54

warn about changed file extensions
author nadvornik
date Sat, 26 Jul 2008 19:01:20 +0000
parents e0d0593d519e
children 1b01410e6860
comparison
equal deleted inserted replaced
932:988eff509920 933:8c5ba3e94e54