| Commit message (Collapse) | Author | Age | Files | Lines |
| |
|
|\ |
|
| | |
|
|\| |
|
| |
| |
| |
| | |
in lean-* when it's the first segment on the line
|
| | |
|
|/ |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
google_app_cred, gcloud and azure by default
|
|\ |
|
| | |
|
|/ |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
extended_glob
|
| |
|
| |
|
|
|
|
| |
narrow_icons to them
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
|
| |
Some terminals are unable to display ↵ even when using fonts that
have this ghyph. See #326.
|
| |
|
|
|
|
| |
both MS terminals as they cannot differentiate between black and no background
|
| |
|
| |
|
| |
|
| |
|