Merge branch 'devel' of ssh://git.planet-lab.org/git/nodemanager into devel
[nodemanager.git] / coresched.py
2011-07-12 Marco YuenMerge branch 'devel' of ssh://git.planet-lab.org/git... devel
2011-07-01 smbakerdo not log messages about slices that receive default...
2011-04-05 rootMerge commit 'origin/master'
2011-04-05 smbakeradd optional besteffort flag to core scheduler
2011-03-09 smbakersupport for scheduling cores to slices