Vcsn issueshttps://gitlab.lre.epita.fr/vcsn/vcsn/-/issues2017-07-25T10:51:02+02:00https://gitlab.lre.epita.fr/vcsn/vcsn/-/issues/181tools: gc/cleanup2017-07-25T10:51:02+02:00Akim Demailletools: gc/cleanupWe now are able to track the dependencies, so we could remove obsolete plugins.
We also need to be able to report how much space is used.We now are able to track the dependencies, so we could remove obsolete plugins.
We also need to be able to report how much space is used.https://gitlab.lre.epita.fr/vcsn/vcsn/-/issues/169tools: use daut by default2017-07-25T10:51:02+02:00Akim Demailletools: use daut by defaultStop producing dot by default.Stop producing dot by default.3.0