diff Tools/scripts/pathfix.py @ 72582:175cd2a51ea9

#13076: merge with 3.2.
author Ezio Melotti
date Sun, 02 Oct 2011 12:47:10 +0300
parents e3e6aa633f33
children c57d99a8fc42 6cfe2982de42
line wrap: on
line diff