package-index.css: change cursor:grab to cursor:pointer#246
Closed
Lysxia wants to merge 1 commit intorocq-prover:masterfrom
Closed
package-index.css: change cursor:grab to cursor:pointer#246Lysxia wants to merge 1 commit intorocq-prover:masterfrom
Lysxia wants to merge 1 commit intorocq-prover:masterfrom
