diff Port.py @ 38:0ce56c4dd355

small ui enhancements
author drewp
date Sun, 07 Jul 2002 12:16:27 +0000
parents 8856efb6516c
children
line wrap: on
line diff