Merge pull request #477 from shuffle2/patch-1
authorenjoy-digital <florent@enjoy-digital.fr>
Mon, 27 Apr 2020 19:07:27 +0000 (21:07 +0200)
committerGitHub <noreply@github.com>
Mon, 27 Apr 2020 19:07:27 +0000 (21:07 +0200)
commit05815c4ecc4e1b538e66b1123ab465bbb85d994c
treef81e9e0d5f0feb39571038d8d32b2cb00f2113c6
parent4dece4ce24972fb2652ee6183bed1cec9ab40672
parentf71014b9fb09ae649c1aa58e9575b995eaa9702d
Merge pull request #477 from shuffle2/patch-1

diamond: fix include paths