Re: imports.exclude in the user settings file
Lithium Lilith <[email protected]> Wed, 11 Oct 2023 22:46:05 -0700 (PDT)
| Newsgroups | gmane.editors.scite.general |
|---|---|
| Message-ID | <[email protected]> |
Thanks, it’s easier to use imports.exclude than to specify paths. -- You received this message because you are subscribed to the Google Groups "scite-interest" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/scite-interest/a53cf098-e9d5-43a9-8837-d5280a656a0bn%40googlegroups.com.