PR: Fix generation of *.help files

5 views
Skip to first unread message

Ralf Hemmecke

unread,
Dec 30, 2022, 1:53:45 PM12/30/22
to fricas-devel
Dear Waldek,

Do you see anything that speaks against

https://github.com/fricas/fricas/pull/113

?

Ralf

Waldek Hebisch

unread,
Dec 31, 2022, 4:40:08 PM12/31/22
to fricas...@googlegroups.com
Looks OK.
--
Waldek Hebisch
Reply all
Reply to author
Forward
0 new messages