diff options
author | Riccardo Spagni <ric@spagni.net> | 2018-12-12 12:00:37 +0200 |
---|---|---|
committer | Riccardo Spagni <ric@spagni.net> | 2018-12-12 12:00:37 +0200 |
commit | fe3c8c9682383bcefe7f111bfa1888293bad75d1 (patch) | |
tree | 390614b35ef0de9d18b7364f74c29311f688b87e /.gitattributes | |
parent | Merge pull request #4921 (diff) | |
parent | daemon: stop miner before we bring the whole thing down (diff) | |
download | monero-fe3c8c9682383bcefe7f111bfa1888293bad75d1.tar.xz |
Merge pull request #4923
aba9a9c2 daemon: stop miner before we bring the whole thing down (moneromooo-monero)
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions