fix
deleted obsolete file whonix_shared/usr/share/whonix/postinst.d/70_grub (now solved in chroot.d post script)
output
comment
deleted obsolete and neglected TODO file
deleted development/files_list and development/files_list_short: no longer required, since Whonix has been packaged
comments