diff TOOLS/mphelp_check.py @ 26401:617754f47828

in preparation for multi-frontend patch replaced file-static device names with sprintf() calls in 2 functions
author nicodvb
date Sun, 13 Apr 2008 10:23:54 +0000
parents 9065db6f98d9
children 8715803f09e8
line wrap: on
line diff