> 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! :-) > But it does not mean it will not break something for someone. > Maybe bound to %require "3.4", why not. Since .dot does not work in some editors, it might good to use .gv. _______________________________________________ [email protected] https://lists.gnu.org/mailman/listinfo/help-bison
