scripts/loader.py · c790dae6e7fc1f238e3ba39921e6bbc9cf48f372 · Verlässliche Systemsoftware / projects / osv

"git@gitlab.ibr.cs.tu-bs.de:vss/projects/osv.git" did not exist on "f9fdfbd88048ac889e47c9de1b0cd748cd92fa5c"

11 years ago

Tomasz Grabiec authored 11 years ago


Speeds things up slightly.

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

c790dae6

Tomasz Grabiec authored 11 years ago


Speeds things up slightly.

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