diff options
author | Glenn Elliott <gelliott@cs.unc.edu> | 2013-04-13 13:47:02 -0400 |
---|---|---|
committer | Glenn Elliott <gelliott@cs.unc.edu> | 2013-04-13 13:47:02 -0400 |
commit | 5318fb805306b52530c5139cc3fe8b64c1926df8 (patch) | |
tree | 8ca80838f32ca9fa510b2a029fc280865ac67340 /REPORTING-BUGS | |
parent | 2f253d08ae00a9cf60c15e0cc5af560f75b3df2a (diff) | |
parent | 4ffefb822b9d65d4efbedb60e3c9a0e76895cc5b (diff) |
Merge branch 'gh/prop/completion-fix' into wip-2012.3-gpu-rtss13
Conflicts:
include/litmus/budget.h
litmus/sched_cedf.c
litmus/sync.c
Diffstat (limited to 'REPORTING-BUGS')
0 files changed, 0 insertions, 0 deletions