Skip to content

remove the local.properties file #1708

New issue

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

Sign up for GitHub

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

Already on GitHub? Sign in to your account

Jump to bottom
Merged
stephengold merged 2 commits into from
Dec 15, 2021
Merged

remove the local.properties file #1708

stephengold merged 2 commits into from
Dec 15, 2021

Conversation

@stephengold
Copy link
Member

@stephengold stephengold commented Dec 14, 2021

@stephengold stephengold added this to the v3.5.0 milestone Dec 14, 2021
@stephengold stephengold mentioned this pull request Dec 14, 2021
Merged
@stephengold stephengold added the buildscript An issue with the buildscript label Dec 14, 2021
@stephengold
Copy link
Member Author

stephengold commented Dec 15, 2021

I plan to integrate this in about 12 hours. G'night!

@stephengold stephengold merged commit 287f492 into master Dec 15, 2021
@stephengold stephengold deleted the sgold/local-properties branch December 15, 2021 18:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

buildscript An issue with the buildscript

Projects

None yet

Milestone

v3.5.0

Development

Successfully merging this pull request may close these issues.

2 participants

@stephengold