| Author |
Committer |
Branch |
Timestamp |
Parent |
|
| franku |
franku |
master |
2020-05-06 15:49 |
master 9d5b3291 |
Pending |
|
|
Changeset |
stored: rename device to device_resource in class ReserveContext |
| mod - core/src/stored/reserve.cc |
Diff File |
| mod - core/src/stored/reserve.h |
Diff File |
