diff options
| author | Drew DeVault <[email protected]> | 2018-05-15 08:07:35 -0400 |
|---|---|---|
| committer | GitHub <[email protected]> | 2018-05-15 08:07:35 -0400 |
| commit | 76bdbe938f2e59da2f8685637b8d2073487c405b (patch) | |
| tree | 86139cae959151358077c4a15047f93679801a7e /completions/zsh | |
| parent | 95f6d0deba26436445b45d4d056c1f6dd2ee82da (diff) | |
| parent | 79e970d86eb514b280979e60aad2ca1468bd21ea (diff) | |
Merge pull request #1986 from emersion/clip-title-texture
Correctly clip title texture if necessary
Diffstat (limited to 'completions/zsh')
0 files changed, 0 insertions, 0 deletions
