Skip to content
  • Clément Gillard's avatar
    Several typos · 4ecd066c
    Clément Gillard authored and Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz committed
    * HACKING: Missing "to", extraneous 's'.
    * spot/misc/timer.hh: Extraneous space.
    * spot/twa/acc.hh: Extraneous 's', typos.
    * spot/twaalgos/genem.hh: Typo.
    * spot/twaalgos/sccinfo.cc: Fix indentation.
    * spot/twaalgos/sccinfo.hh: Missing 's'.
    * tests/python/acc_cond.ipynb: Extraneous 'e', missing comma.
    * tests/python/decompose.ipynb: Extraneous 't'.
    * tests/python/ltsmin-dve.ipynb: Extraneous verb.
    4ecd066c