Re: [erlang-bugs] erlang.el indenter
Anthony Ramine <[email protected]> Mon, 3 Feb 2014 14:10:24 +0100
| Newsgroups | gmane.comp.lang.erlang.patches |
|---|---|
| Message-ID | <[email protected]> |
As much as I hate GitHub, that sounds like a good use case for its Issues system. -- Anthony Ramine Le 3 févr. 2014 à 10:09, Henrik Nord <[email protected]> a écrit : > If anyone does find the time to implement the other suggestion they will have to submit a new patch _______________________________________________ erlang-patches mailing list [email protected] http://erlang.org/mailman/listinfo/erlang-patches