PR #231 Fixed section name - SemanticDiff

Fixed section name #231

alvestrand merged 1 commit into master from fixSection2

fluffy

fluffy

Fixed the section name

912465f9

alvestrand

alvestrand merged 9a401db2 into master 10 years ago

Login to write a write a comment.

Login via GitHub

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Milestone

No milestone