On Thu, Feb 8, 2024 at 11:35 AM Sven Schreiber
<sven.schreiber(a)fu-berlin.de> wrote:
I see that now there's an (empty) dir named "workspace" in the gretl git
source tree. Is this fallout from moving the unit tests into the tree,
or is it intended?
I've just removed that directory. It was to do with defining workspace
as a "module" of the main tree, but that definition is now gone.
Allin