Commit c30db4a0 authored by Etienne Renault's avatar Etienne Renault

sanity: please 80 columns

* spot/ltsmin/spins_kripke.hh,
spot/twacube/twacube.cc,
spot/twacube_algos/convert.cc: Here.
parent 5a487ec8
Pipeline #18868 failed with stage
in 106 minutes and 8 seconds