Skip to content

re-allow global user-customizable platform.txt #472

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Merged
merged 1 commit into from
Nov 8, 2019

Conversation

cmaglie
Copy link
Member

@cmaglie cmaglie commented Nov 7, 2019

Fix #469

@cmaglie cmaglie self-assigned this Nov 7, 2019
@cmaglie cmaglie force-pushed the cmaglie/fix-global-platformtxt branch from 3c1cda2 to d28d833 Compare November 8, 2019 11:41
@cmaglie cmaglie added this to the 0.7.0 milestone Nov 8, 2019
@cmaglie cmaglie merged commit bc6c823 into master Nov 8, 2019
@cmaglie cmaglie deleted the cmaglie/fix-global-platformtxt branch November 8, 2019 12:09
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Global platform.txt
2 participants