|
Config
|
Replace clipboard-indicator with pano
|
2023-03-20 16:23:08 +01:00 |
|
Devices
|
Mute output of pushd and popd commands
|
2023-03-16 20:14:49 +01:00 |
|
OS
|
Fix malformed command
|
2023-04-01 14:21:10 +02:00 |
|
Scripts
|
Revert broken chooseDisk function
|
2023-04-01 13:40:52 +02:00 |
|
Software
|
Rename GRUB setup script
|
2023-04-01 15:15:15 +02:00 |
