diff develop_server.sh @ 70:35dc7a0b00eb

Fix wording
author Dirk Olmes <dirk@xanthippe.ping.de>
date Thu, 15 Oct 2015 02:23:02 +0200
parents 4cd9b65e10e4
children
line wrap: on
line diff