Skip to content
Unverified Commit 7b6b7318 authored by Max Gautier's avatar Max Gautier Committed by GitHub
Browse files

Remove unused manifest (docs) (#12092) 

This file is no longer referenced since e0d67367 (Update installation
doc with vagrant (#8406), 2022-01-11).
parent f02d313f
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment