diff src/ports.inc @ 139:e0b758865e91

some cleanup
author heinrichsweikamp
date Thu, 17 Jul 2014 17:56:09 +0200
parents f3062a611eef
children 56276a2418f9
line wrap: on
line diff