coqeal icon indicating copy to clipboard operation
coqeal copied to clipboard

Published 20 hours ago • verified publisher icon coq-community

Porting to HB

Open proux01 opened this issue 3 years ago • 0 comments

Just to remember we have that branch.

proux01 avatar Nov 15 '21 16:11 proux01