Skip to content

Remove "Coq" prefix in Python class names and change coq- to alectryon- in CSS#10

Merged
cpitclaudel merged 1 commit intomasterfrom cpitclaudel_rename-cssDec 11, 2020