diff options
| author | Daiderd Jordan <daiderd@gmail.com> | 2023-06-20 21:55:53 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-06-20 21:55:53 +0200 |
| commit | ed275afbbaad9b0670e2aeac3ae542595255d604 (patch) | |
| tree | 2b1f3912f68c3796cee9832ef3465b12c620253b /modules/programs/bash | |
| parent | 050da23813967ce629bee06b549e534334112ccb (diff) | |
| parent | 7bf15660ca1febda3b43390d10797e5ad6771323 (diff) | |
Merge pull request #671 from sxyazi/pr-e0f2168d
Add `mouseDriverCursorSize` option
Diffstat (limited to 'modules/programs/bash')
0 files changed, 0 insertions, 0 deletions