Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Delete book after reading #5107
Long time no PR, welcome back :)
May be switch these 2:
Well, personally, I don't use any End of doc action - but if I were, I'd probbly use
In the menu, may be move
Yes. Delete file option works exactly like delete in file browser. Delete file + .sdr + remove from history.