Remove snippets warning in coq

[rbdr/dotfiles] / config / karabiner / assets / complex_modifications / 1614862916.json

{"title":"Insert to Ctrl+Cmd+Alt+N","rules":[{"description":"Insert to Ctrl+Cmd+Alt+N","manipulators":[{"type":"basic","from":{"key_code":"insert"},"to":[{"repeat":true,"key_code":"n","modifiers":["left_control","left_alt","left_gui"]}]}]}]}