Remove library from disk

If the user deletes a library which is in the default location, then the
files belonging to the library are deleted. Libraries in non-default
locations are not deleted (because the assumption is that the user might
have set up a third party app to sync that directory where we do not
want to interfer).
12 jobs for 141-remove-a-library-from-disk-if-it-is-located-in-the-default-libraries-location in 9 minutes and 49 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Images
manual #39104751
allowed to fail manual
build_image_fedora
manual #39104752
allowed to fail manual
build_image_fedora_system
manual #39104754
allowed to fail manual
build_image_ubuntu
manual #39104755
allowed to fail manual
build_image_win32
manual #39104757
allowed to fail manual
build_image_win64
 
  Build
passed #39104763
linux_builtin

00:02:57

passed #39104764
linux_system

00:02:54

passed #39104766
ubuntu_appimage

00:06:55

passed #39104768
win32_build

00:02:47

passed #39104769
win64_build

00:02:48

 
  Installer
passed #39104771
win32_installer

00:02:51

passed #39104772
win64_installer

00:02:06