chris
|
a9c645b635
|
remove_old_kernel.sh: minro changes on script output.
|
2018-12-30 15:32:03 +01:00 |
|
chris
|
dc2ecbe074
|
remove_old_kernel.sh: minor changes on script output.
|
2018-12-30 14:45:55 +01:00 |
|
chris
|
66ee242d8a
|
Add script 'remove_old_kernel.sh'.
|
2018-12-30 14:36:24 +01:00 |
|