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

Renamed misnamed directory (PRC) #5

Merged
merged 1 commit into from Oct 2, 2017

Conversation

Projects
None yet
2 participants
@jjatria
Contributor

jjatria commented Oct 2, 2017

This cosmetic patch renames the XML-SemanaticDiff directory to the (more likely) XML-SemanticDiff.

@shlomif shlomif merged commit dcb74d1 into shlomif:master Oct 2, 2017

@shlomif

This comment has been minimized.

Show comment
Hide comment
@shlomif

shlomif Oct 2, 2017

Owner

Merged, thanks!

Owner

shlomif commented Oct 2, 2017

Merged, thanks!

@jjatria

This comment has been minimized.

Show comment
Hide comment
@jjatria

jjatria Oct 2, 2017

Contributor

That was quick! Thanks! 😃

Contributor

jjatria commented Oct 2, 2017

That was quick! Thanks! 😃

@jjatria jjatria deleted the jjatria:misnamed-directory branch Oct 2, 2017

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment