Got it. I'll change that, and thank you.
On Fri, Jun 5, 2020 at 11:28 AM Sam Tobin-Hochstadt
wrote:
> This most likely means that your documentation is in a file with a generic
> name like manual.scrbl which those packages also use.
>
> Sam
>
> On Fri, Jun 5, 2020, 11:20 AM David Storrs wrote:
This most likely means that your documentation is in a file with a generic
name like manual.scrbl which those packages also use.
Sam
On Fri, Jun 5, 2020, 11:20 AM David Storrs wrote:
> I uploaded a new module, 'thread-with-id', and the package server tells me
> that there are conflicts. The
2 matches
Mail list logo