diff options
author | Riccardo Spagni <ric@spagni.net> | 2018-11-14 21:32:09 +0200 |
---|---|---|
committer | Riccardo Spagni <ric@spagni.net> | 2018-11-14 21:32:10 +0200 |
commit | ff347c98a1f195073a21b0feb199d36c7760610f (patch) | |
tree | 3e4bcf828100baa8b7004c9614c96fecc11e7d1f /.gitattributes | |
parent | Merge pull request #4746 (diff) | |
parent | return message in stop_mining if mining never started (diff) | |
download | monero-ff347c98a1f195073a21b0feb199d36c7760610f.tar.xz |
Merge pull request #4747
dad5bbfd return message in stop_mining if mining never started (cryptochangements34)
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions