> On 18 Feb 2019, at 08:28, Akim Demaille <a...@lrde.epita.fr> wrote: > >> Le 17 févr. 2019 à 23:00, Hans Åberg <haber...@telia.com> a écrit : >> >>> On 17 Feb 2019, at 16:19, Akim Demaille <a...@lrde.epita.fr> wrote: >>> >>>> Le 10 févr. 2019 à 15:20, Hans Åberg <haber...@telia.com> a écrit : >>>> >>>>> On 10 Feb 2019, at 11:07, Akim Demaille <a...@lrde.epita.fr> 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 :)
:-) _______________________________________________ help-bison@gnu.org https://lists.gnu.org/mailman/listinfo/help-bison
