Skip to content

Port Make targets to Gradle#10

Merged
gabor-boros merged 6 commits intomasterfrom
feature/gradle
Feb 14, 2020
Merged

Port Make targets to Gradle#10
gabor-boros merged 6 commits intomasterfrom
feature/gradle

Conversation

@NotJustAnna
Copy link
Member

@NotJustAnna NotJustAnna commented Feb 13, 2020

Ported all Make targets to Gradle.

It include some python fixes for by @gabor-boros to integrate the old toolchain to Gradle.

gabor-boros
gabor-boros previously approved these changes Feb 14, 2020
@gabor-boros gabor-boros merged commit e202ff4 into master Feb 14, 2020
@gabor-boros gabor-boros deleted the feature/gradle branch February 14, 2020 05:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants