mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-10-06 06:21:16 +07:00
Hide 'Synchronize' actions in 'Library Diff' dialog (it makes no sense because content of a repository library cannot be modified).
Hide 'Synchronize' actions in 'Library Diff' dialog (it makes no sense because content of a repository library cannot be modified).