Skip to content
Snippets Groups Projects
Commit 0ff38ef7 authored by Kilian Weishaupt's avatar Kilian Weishaupt Committed by Timo Koch
Browse files

[patch] Remove deprecated headers

This patch removes deprecated header files related to the change of the
folder structure.

Usage: patch -p1 < path/to/Patch
(cherry picked from commit 00892d56)
parent eff6a518
No related branches found
No related tags found
No related merge requests found
This diff is collapsed.
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment