Skip to content

#11: rename pressio to pressio-rom#12

Merged
fnrizzi merged 2 commits intomainfrom
11-rename-pressio-to-pressio-rom
Apr 3, 2025
Merged

#11: rename pressio to pressio-rom#12
fnrizzi merged 2 commits intomainfrom
11-rename-pressio-to-pressio-rom

Conversation

@cwschilly
Copy link
Copy Markdown
Contributor

Fixes #11

@cwschilly cwschilly linked an issue Apr 3, 2025 that may be closed by this pull request
@cwschilly cwschilly marked this pull request as ready for review April 3, 2025 14:46
@cwschilly cwschilly requested a review from fnrizzi April 3, 2025 15:14
README.md Outdated
- [Instructions for Use](#instructions-for-use)
- [Tips](#tips)
- [Sample Program](#sample-program)
- [Using With Pressio-ROM](#using-with-pressio-rom)
Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

can you please change this to pressio-rom

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Fixed

@fnrizzi fnrizzi merged commit b313c6b into main Apr 3, 2025
4 checks passed
@fnrizzi fnrizzi deleted the 11-rename-pressio-to-pressio-rom branch April 17, 2025 13:02
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.

Rename pressio to pressio-rom

2 participants