Skip to content
GitLab
Explore
Sign in
Code and comments polishing
Code
Review changes
Check out branch
Download
Patches
Plain diff
Ghost User
requested to merge
sbozhko/rt-proofs:switch_readiness_polishing
into
master
Sep 03, 2021
Overview
0
Commits
2
Pipelines
3
Changes
17
Expand
This is the second part of
!130 (merged)
.
It contains a large amount of code and comments polishing.
Merge request reports