From: Miro K. <mir...@gm...> - 2024-06-12 17:42:37
|
On Wed, 24 Jan 2024 at 16:50, Philippe Noble <phi...@gm...> wrote: > I am reviving this old thread as I continue to have an error message with > QED. > As I bumped into this yesterday on CT60TOS I told myself "Ok, this is the day this mystery gets solved". And it did: https://github.com/freemint/qed/issues/8. :) -- http://mikro.atari.org |