| commit | a8c4b1ea55fe9180e0c5c7e76b4b2e7c28005a64 | [log] [tgz] |
|---|---|---|
| author | Jakub Pavlik <pavlk.jakub@gmail.com> | Tue Sep 19 12:04:42 2017 +0200 |
| committer | GitHub <noreply@github.com> | Tue Sep 19 12:04:42 2017 +0200 |
| tree | 683c358f25191e97b6ad31f346395a1f639ab6dc | |
| parent | ae7100097060f65f64f5cd8b83f7b745514fc379 [diff] | |
| parent | 7046b9cf5260d5d28d5fe5c827d9d025e7147fad [diff] |
Merge pull request #24 from tgerdes/scheduler_host_manager Allow overriding the scheduler_host_manager