Skip to content
Snippets Groups Projects
Unverified Commit 1e67c717 authored by Paweł Krupa's avatar Paweł Krupa Committed by GitHub
Browse files

Merge pull request #1072 from dgrisonnet/platform-patch 

Allow configuring the platform used directly instead of having to use a patch
parents eaeb0c6a ed5a2f94
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 84 additions and 63 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment