Skip to content

Update the base files

Sergey Bozhko requested to merge sbozhko/rt-proofs:merge-changes-of-base-files into master

While I ported A-RTA I had to change a few base files; here is the update

Merge request reports