Revision e37471bd36ff6efd5ad55bacd8b096bd7307959b

Committed on 15/01/2024 12:16 pm by Luca Realdi <luca.realdi@opencontent.it> [GitHub Diff]

Add MergeTool and openagenda shortcut