fricas script

2 views

Skip to first unread message

Waldek Hebisch

unread,

Sep 16, 2023, 1:04:19 PM9/16/23

to fricas...@googlegroups.com

I plan to apply the following patch to fricas script. With
the patch 'disabling ...' messages are not printed when
hyperdoc or graphics are explicitely disables. Also,
there is no 'disabling ...' messages with '--version'.

--
Waldek Hebisch