Subtree update automation: remove extraneous library folder#288

carolynzech merged 2 commits into

model-checking:mainmodel-checking/verify-rust-std:mainfrom

tautschnig:automation-cleanup-submoduletautschnig/verify-rust-std:automation-cleanup-submoduleCopy head branch name to clipboard