diff dot_config/ripgrep/ripgreprc @ 514:f0c94c3f5fd9

Use new user_command api to define commands
author zegervdv <zegervdv@me.com>
date Wed, 29 Dec 2021 11:44:10 +0100
parents 1403bfc694e4
children b12e86e6c110
line wrap: on
line diff