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 unused functions #18

Merged
merged 3 commits into from
Apr 22, 2024
Merged

Conversation

ocefpaf
Copy link
Member

@ocefpaf ocefpaf commented Oct 12, 2022

Closes #17, only merge after #16 b/c I want to tests to run here to be sure I'm not breaking anything.

@ocefpaf
Copy link
Member Author

ocefpaf commented Oct 12, 2022

@ocefpaf ocefpaf force-pushed the remove_unused_functions branch from c7221e5 to e1c94ee Compare April 22, 2024 15:56
@ocefpaf
Copy link
Member Author

ocefpaf commented Apr 22, 2024

Closing this b/c we don't want to diverge too much from a possible new release. However, it is good to know that these functions are not used in the current form.

@ocefpaf ocefpaf closed this Apr 22, 2024
@ocefpaf ocefpaf deleted the remove_unused_functions branch April 22, 2024 16:19
@ocefpaf ocefpaf restored the remove_unused_functions branch April 22, 2024 16:20
@ocefpaf ocefpaf reopened this Apr 22, 2024
@ocefpaf
Copy link
Member Author

ocefpaf commented Apr 22, 2024

On second thought... Maybe we should do this to make it closer with the current release. See #17.

@ocefpaf ocefpaf marked this pull request as ready for review April 22, 2024 16:21
@ocefpaf ocefpaf merged commit 8347d52 into TEOS-10:master Apr 22, 2024
2 checks passed
@ocefpaf ocefpaf deleted the remove_unused_functions branch April 22, 2024 16:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Remove left-over functions
1 participant