diff TOOLS/Makefile @ 20351:db988488cb09

synced with r20355 (increased sync tag after typo fix in English master file)
author Gabrov
date Sun, 22 Oct 2006 12:39:01 +0000
parents 64d82a45a05d
children b4c865e17155
line wrap: on
line diff