Skip to content

Add preference migration for keybdingings#3007

Merged
tobiasdiez merged 1 commit intomasterfrom keymigrationJul 14, 2017

Commits

Commits on Jul 13, 2017