Skip to content

Rename RMICpp to RMI-Maltry etc.#34

Open
alhuan wants to merge 3 commits intolearnedsystems:masterfrom
alhuan:patch-1
Open

Rename RMICpp to RMI-Maltry etc.#34
alhuan wants to merge 3 commits intolearnedsystems:masterfrom
alhuan:patch-1

Conversation

@alhuan
Copy link
Contributor

@alhuan alhuan commented Apr 27, 2022

Occurrences of RMICpp have been renamed to RMI-Maltry.

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.

1 participant