On Tue, Jun 21, 2022 at 09:27:01PM +0800, Qian Yun wrote:
> Hi Waldek,
>
> Shall we remove ".gitignore .gitattributes .github" in
> src/scripts/mkdist.sh as well?
For the next release we probably should change cleaning pattern
to
rm -rf .git*
but for the current one I did not consider this to be critical.
--
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 [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/20220622002252.GB17670%40fricas.math.uni.wroc.pl.
