Skip to content

clean up [util/list.v]

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

minor clean up in util/list.v

Edited by Sergey Bozhko

Merge request reports