Skip to content
This repository was archived by the owner on Jan 25, 2025. It is now read-only.

Conversation

@rohan-chaturvedi
Copy link
Member

@rohan-chaturvedi rohan-chaturvedi commented Feb 1, 2023

📚 Release Notes

  • Delete local.properties from repo

@0x4f53
Copy link
Member

0x4f53 commented Feb 1, 2023

Did you also add it to .gitignore?

@rohan-chaturvedi
Copy link
Member Author

Did you also add it to .gitignore?

Its already there:

local.properties

@0x4f53 0x4f53 merged commit dad262b into v1.4.2 Feb 2, 2023
@0x4f53 0x4f53 deleted the chore--delete-local-properties branch February 2, 2023 08:49
@rohan-chaturvedi rohan-chaturvedi mentioned this pull request Feb 3, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants