maxima_file_names.pmDescription: Text Data
|
| From: | Patrice Dumas |
| Subject: | Re: Customizing html file names |
| Date: | Mon, 10 Oct 2022 09:40:34 +0200 |
Hello, The API changed again, for the new API, the attached init file should be ok. -- Pat
maxima_file_names.pm
Description: Text Data
| [Prev in Thread] | Current Thread | [Next in Thread] |