> Le 17 févr. 2019 à 23:00, Hans Åberg <[email protected]> a écrit : > >> On 17 Feb 2019, at 16:19, Akim Demaille <[email protected]> wrote: >> >>> Le 10 févr. 2019 à 15:20, Hans Åberg <[email protected]> a écrit : >>> >>>> On 10 Feb 2019, at 11:07, Akim Demaille <[email protected]> wrote: >>>> >>>> [*.dot vs. *.gv] >>>> But it's too late to change the default behavior. >>> >>> You might change it, as it is not usable on real life grammars. >> >> You have a point :) > > Or a dot! :-)
Yes, I'll gv you that :) _______________________________________________ [email protected] https://lists.gnu.org/mailman/listinfo/help-bison
