From 719ac4fb4e86782fe082519fa12025a13750d5af Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Mon, 10 Aug 2015 19:26:48 +0200
Subject: [PATCH] move perm sched to own dir

Former-commit-id: 0bf95c9c33b32e35771efd65805fb7e38f2e6acf
---
 src/{storage => permissivesched}/PermissiveSchedulers.h | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename src/{storage => permissivesched}/PermissiveSchedulers.h (100%)

diff --git a/src/storage/PermissiveSchedulers.h b/src/permissivesched/PermissiveSchedulers.h
similarity index 100%
rename from src/storage/PermissiveSchedulers.h
rename to src/permissivesched/PermissiveSchedulers.h