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.

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

Remove 0.8.1s #848

Merged
merged 2 commits into from
Jun 30, 2023
Merged

Remove 0.8.1s #848

merged 2 commits into from
Jun 30, 2023

Conversation

t-mat
Copy link
Contributor

@t-mat t-mat commented Jun 30, 2023

This is a trivial PR for remaining 0.8.1s.

@t-mat
Remove tipi.build section
2c74110 
Since we've merged Cyan4973#841 unfortunately, we can remove it for now.
@t-mat
Revamp version number in Doxyfile
ff0fa82
@Cyan4973
Copy link
Owner

Thanks @t-mat !

@Cyan4973 Cyan4973 merged commit 1d4ad8a into Cyan4973:dev Jun 30, 2023
55 checks passed
@t-mat t-mat deleted the fix/remove-remaining-0.8.1s branch July 1, 2023 06:30
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
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@t-mat @Cyan4973