|
|
d6bd506e66
|
Ask the user to merge changes if source and destination were out of sync
|
2023-10-05 21:07:33 +02:00 |
|
|
|
afb072c0cc
|
General cleanup
|
2023-10-03 13:56:53 +02:00 |
|
|
|
ddf1c3fd20
|
Update vscode settings
|
2022-09-07 08:40:27 +02:00 |
|
|
|
04b8d424fd
|
Add vscode keybindings
|
2022-09-07 08:36:05 +02:00 |
|
|
|
1b38b0bd12
|
Small updates
|
2021-08-27 18:50:11 +02:00 |
|
