search

math-comp / trajectories

0 stars 4 forks source link

rename cmvt to civt #5

Closed ybertot closed 2 years ago

affeldt-aist commented 2 years ago

I squashed both commits and cherry-picked the result onto master.