diff options
| author | Nikodem Rabuliński | 2023-01-16 16:41:22 +0000 |
|---|---|---|
| committer | GitHub | 2023-01-16 16:41:22 +0000 |
| commit | 3cf5216dbd1b9c767e6a922f93f1a3b1a2955d02 (patch) | |
| tree | 37ccf2c32536b8a5786e83d658d09328f29cc2d2 /xtask | |
| parent | 60f84be40c1c488dacf823f791ca33f43b5d28d8 (diff) | |
Commit to history after executing a command from the palette (#5294)
Diffstat (limited to 'xtask')
0 files changed, 0 insertions, 0 deletions