Skip to content
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.

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

Remove cruft #4679

Merged
merged 4 commits into from Sep 13, 2022
Merged

Remove cruft #4679

merged 4 commits into from Sep 13, 2022

Conversation

jmarrec
Copy link
Collaborator

@jmarrec jmarrec commented Sep 13, 2022

Pull request overview

Cherry picks some file removal from #4674

@jmarrec jmarrec added Developer Issue Pull Request - Ready for CI This pull request if finalized and is ready for continuous integration verification prior to merge. labels Sep 13, 2022
@ci-commercialbuildings
Copy link
Collaborator

ci-commercialbuildings commented Sep 13, 2022

@jmarrec jmarrec merged commit d5e1865 into develop Sep 13, 2022
@jmarrec jmarrec deleted the remove_cruft branch September 13, 2022 11:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Developer Issue Pull Request - Ready for CI This pull request if finalized and is ready for continuous integration verification prior to merge.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Python Measures: Remove unsupported code and cleanup project
3 participants