Skip to content

Conversation

@jwillemsen
Copy link
Member

* templates/bmakecommon.mpt:

@jwillemsen jwillemsen merged commit e52306a into DOCGroup:master May 31, 2020
@jwillemsen jwillemsen deleted the jwi-emb-clangunused branch May 31, 2020 08:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant