View Single Post
Old 2021-05-04, 13:38   #4
"David Kirkby"
Jan 2021
Althorne, Essex, UK

3·149 Posts
Default How can I recover an asignment lost from worktodo.txt ?

I've got this assignment

and I think it might be completed, but there's nothing in my worktodo.txt file. I have a .proof file. I expect that could be manually uploaded, but is there a way to put back the necessary line in worktodo.txt to get this completed in the usual way, without a manual upload?


Last fiddled with by drkirkby on 2021-05-04 at 13:39
drkirkby is offline   Reply With Quote