> On 18 Feb 2019, at 08:28, Akim Demaille <[email protected]> wrote: > >> 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
