An error occurred while fetching folder content.
text: remove a redundant undo element
Benno Schulenberg authored
Implement its single use case by making better use of another element.
83b89a49
Name Last commit Last update