Revision e37471bd36ff6efd5ad55bacd8b096bd7307959b

Committed on 15/01/2024 12:16 pm by Luca Realdi <[email protected]> [GitHub Diff]

Add MergeTool and openagenda shortcut

Share your information