GitLab

Merged

Opened Jun 08, 2018 by uudmk @uudmkDeveloper

Luong workbranch

Assignee

Assign to

Reviewer

Request review from

None

Milestone

None

Assign milestone

Time tracking

Reference: xt9634/ProofScriptParser!20

Source branch: luong_workbranch

This will create a new commit in order to revert the existing changes.

Revert in branch

Switch branch

A new branch will be created in your fork and a new merge request will be started.

Pick into branch

Switch branch

A new branch will be created in your fork and a new merge request will be started.