Changeset 1097:f2ac841cffec for misc

Timestamp:

08/11/23 14:39:35 (17 months ago)

Author:

István Váradi <ivaradi@…>

Branch:

python3

Phase:

public

Message:

The browser cache can be cleared from the menu (re #368)

(No files)