Skip to content

clean up [util/list.v]

Sergey Bozhko requested to merge sbozhko/rt-proofs:clean_up into master

minor clean up in util/list.v

Edited by Sergey Bozhko

Merge request reports