diff agent/src/scripts/start-debug-server.sh @ 14904:162d8fe89017

Revert 3e9a8ef2e0e1.
author Josef Eisl <josef.eisl@jku.at>
date Mon, 31 Mar 2014 18:05:20 +0200
parents c18cbe5936b8
children
line wrap: on
line diff