Resolve "Grand renaming" (!53) · Merge requests · Boston University PhD / ORE Benchmark / Project-Code · GitLab

This is an archived project. Repository and other project resources are read-only.

Dmytro Bogatov requested to merge 41-grand-renaming into master Jan 17, 2019

Closes #41 (closed)

Edited Jan 18, 2019 by Dmytro Bogatov