Skip to content

remove the local.properties file - #1708

Merged
stephengold merged 2 commits into
masterfrom
sgold/local-properties
Dec 15, 2021
Merged

remove the local.properties file#1708
stephengold merged 2 commits into
masterfrom
sgold/local-properties

Conversation

@stephengold

Copy link
Copy Markdown
Member

@stephengold stephengold added this to the v3.5.0 milestone Dec 14, 2021
@stephengold stephengold added the buildscript An issue with the buildscript label Dec 14, 2021
@stephengold

Copy link
Copy Markdown
Member Author

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

Labels

buildscript An issue with the buildscript

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant