Skip to content

utils: remove obsolete vagrant scripts

Cheng Shao requested to merge type-dance/ghc:rm-vagrant into master

Vagrantfile has long been removed in !5288 (closed). This commit further removes the obsolete vagrant scripts in the tree.

Merge request reports