Skip to content
Commit 3bb18c68 authored by Wout Mertens's avatar Wout Mertens Committed by GitHub
Browse files

Merge pull request #17042 from rasendubi/etc

etc: remove obsolete directories
parents 3badad81 fe9cabed
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment