Closed edreamleo closed 3 years ago
Oops - I saw the draft and github's recommendation of not merging from the previous one,I was not familiar with the concept of 'drafts' as PR - thought it was just a generic tag/label. I'll leave drafts PR alone :) hehe
I am going to close this PR. Something weird is happening and I am going to try again in the ekr-scripts2 branch.
See #10.
This is a draft PR. Do not merge it into devel.
I thought I had lost data in "scripts.txt", but that was a panic :-) It's very hard to lose data with git. For example, PR #19 has all the data.
Still, neither "master" nor "devel" has scripts.txt. It's mysterious.