mirror of
https://github.com/martinvonz/jj.git
synced 2025-05-28 10:31:14 +00:00
The lowercase "warning: " is unified to "Warning: " as it is the jj's convention afaik. The _default() suffix could be dropped from these methods, but it's probably better to break the existing codebase for the moment. Otherwise, the caller might do writeln!(ui.warning(), "Warning: ..").