Re: [MLton] but in doc/guide/src/Emacs.adoc

Matthew Fluet <[email protected]> Sat, 16 May 2020 20:54:46 -0400

Newsgroups	gmane.comp.lang.ml.mlton.devel
Message-ID	<CAMrhFL7VoyQMqG+L_2gz=n2YpryhzGzTFgq5EoGvsUyF6bEH+w@mail.gmail.com>

Thanks!  Fixed now.

On Sat, May 16, 2020 at 7:37 PM Henry Cejtin <[email protected]> wrote:
>
> There is a bug in doc/guide/src/Emacs.adoc:
> Here is the diff that seems to be the fix:
> 24c24
> < http://company-mode.github.io/[`company-mode`] completion back-end for
> ---
> > http://company-mode.github.io/[`company-mode]` completion back-end for
>
>
> _______________________________________________
> MLton-devel mailing list
> [email protected]; [email protected]
> https://lists.sourceforge.net/lists/listinfo/mlton-devel