Remove snippets warning in coq

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

{"title":"print_screen to command+shift+4","rules":[{"description":"print_screen to command+shift+4","manipulators":[{"type":"basic","from":{"key_code":"print_screen"},"to":[{"repeat":false,"modifiers":["left_gui","left_shift"],"key_code":"4"}]}]}]}