David Barnett e6b3b9c09b Add a config edit command to open jj config in editor ... Part of #531 to define the overall `config` command.		2023-01-12 01:10:07 -06:00
..
mod.rs	Add a config edit command to open jj config in editor	2023-01-12 01:10:07 -06:00