diff options
author | Roman Smrž <roman.smrz@seznam.cz> | 2021-02-17 22:15:27 +0100 |
---|---|---|
committer | Roman Smrž <roman.smrz@seznam.cz> | 2021-02-19 19:40:58 +0100 |
commit | 5dc467310ddebeae8dcb6262f5499f37382711ab (patch) | |
tree | 77dc6c6fd0abec84246aaacfbf5a8d471081e2ae /include/erebos/attach.h | |
parent | d42ed33bb9112d80ae9adc926b7bd818a4d35f8d (diff) |
WatchedHead object allowing to stop watching Head
Diffstat (limited to 'include/erebos/attach.h')
0 files changed, 0 insertions, 0 deletions