src/tgbaalgos/Makefile.am · d7e49255d379b622b0122d8e3dbfa3e1108eb734 · Spot / Spot · GitLab

May 26, 2003
d7e49255
* src/tgbaalgos/dotty.cc, src/tgbaalgos/dotty.hh: New files. · d7e49255
Alexandre Duret-Lutz authored May 26, 2003
```
* src/tgbaalgos/Makefile.am (libtgbaalgos_la_SOURCES): Add them.
```
d7e49255
* src/tgbaalgos/dotty.cc, src/tgbaalgos/dotty.hh: New files.
Alexandre Duret-Lutz authored May 26, 2003
```
* src/tgbaalgos/Makefile.am (libtgbaalgos_la_SOURCES): Add them.
```