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 /.gitignore | |
| parent | d42ed33bb9112d80ae9adc926b7bd818a4d35f8d (diff) | |
WatchedHead object allowing to stop watching Head
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions