On Fri, Dec 01, 2023 at 01:03:23PM +0100, Ralf Hemmecke wrote:
> On 12/1/23 11:51, Qian Yun wrote:
> > https://docs.github.com/en/repositories/managing-your-repositorys-settings-and-features/customizing-your-repository/licensing-a-repository#determining-the-location-of-your-license
> >
> > ==== QUOTE
> > Most people place their license text in a file named LICENSE.txt
> > (or LICENSE.md or LICENSE.rst) in the root of the repository;
> > ==== END QUOTE
> >
> > So please do the rename, this way the old license file is
> > not touched -- everybody is happy.
>
> Well, maybe not quite everybody.
>
> I rather propose to commit the attached patch.
I did the rename to LICENSE.txt. I think that updating references
in documentation is separate thing.
--
Waldek Hebisch
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to fricas-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/ZWp61nUs4_is-Jdl%40fricas.org.
