scripts/run.py · ccdd817330a60991b86e16f0bbed1a07bfd8cecf · Verlässliche Systemsoftware / projects / osv

11 years ago

Tomasz Grabiec authored 11 years ago


In order to have consistent indentation.

Signed-off-by: Tomasz Grabiec <tgrabiec@cloudius-systems.com>

ccdd8173

Tomasz Grabiec authored 11 years ago


In order to have consistent indentation.

Signed-off-by: Tomasz Grabiec <tgrabiec@cloudius-systems.com>