An error occurred while fetching folder content.
history: don't save the cursor position for temporary help files
Benno Schulenberg authored
It's useless, because the position doesn't get restored, and it
cannot be restored because the name is different every time.
8075e454
Name Last commit Last update
..