diff options
| author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2015-09-18 07:51:05 -0400 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2016-03-16 10:33:22 -0400 |
| commit | 0d3feb83a642dc05a7d4e06876ce494832ff5db7 (patch) | |
| tree | a12731eb46c652a8398a28ba1a5aac2255ba84a5 /scripts | |
| parent | 13559d16bcd773dcea0fdcb69a60a2fe15ad9fd8 (diff) | |
Add -R (create sporadic reservation) flag to rtspin
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions