Code

fix typo in itv header file#22

Code

Merged

antoinemine merged 1 commit intoantoinemine:masterantoinemine/apron:masterfrom bennostein:masterbennostein/apron:masterCopy head branch name to clipboardNov 18, 2019

+1-1

Commits

Commits on Nov 18, 2019

• fix typo in itv header file

  bennostein

  committed
  1e61849