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

#1565 - Option to replace illegal characters in XMI files #1566

Merged
merged 3 commits into from
Jun 10, 2023
Merged

#1565 - Option to replace illegal characters in XMI files #1566

merged 3 commits into from
Jun 10, 2023

Conversation

reckart
Copy link
Member

@reckart reckart commented Jun 10, 2023

What's in the PR

  • Added option to replace illegal characters

How to test manually

  • Enable the option using the new parameter and write a file that contains illegal characters.

Automatic testing

  • PR includes unit tests

Documentation

  • PR updates documentation

@reckart reckart added ⭐️ Enhancement New feature or request Module-io.xmi labels Jun 10, 2023
@reckart reckart added this to the 2.4.0 milestone Jun 10, 2023
@reckart reckart self-assigned this Jun 10, 2023
@reckart reckart force-pushed the feature/1565-Option-to-replace-illegal-characters-in-XMI-files branch from d406568 to 7cc58a4 Compare June 10, 2023 09:07
@reckart
#1565 - Option to replace illegal characters in XMI files
a3e2954 
- Added option to replace illegal characters
- Clean up code
@reckart
Merge branch 'main' into feature/1565-Option-to-replace-illegal-chara…
b6412c0 
…cters-in-XMI-files

* main:
  #1511 - Do not initialize POS mapping loader if mapping is disabled
  #1511 - Do not initialize POS mapping loader if mapping is disabled
@reckart reckart force-pushed the feature/1565-Option-to-replace-illegal-characters-in-XMI-files branch from 7cc58a4 to b6412c0 Compare June 10, 2023 09:55
@reckart reckart merged commit e7de7af into main Jun 10, 2023
@reckart reckart deleted the feature/1565-Option-to-replace-illegal-characters-in-XMI-files branch June 10, 2023 11:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@reckart reckart

Labels
⭐️ Enhancement New feature or request Module-io.xmi
Projects
None yet
Milestone
2.4.0
Development

Successfully merging this pull request may close these issues.
1 participant
@reckart