4 Commits
Author SHA1 Message Date
voidderef e8000214b4 fix: Remove obsolete pumptools-public release package
Since the pumptools.zip package contains already everything
that's supposed to be released on the previous version already,
a separate "public" release isn't required anymore.

Also address this issue in the github workflows to publish
the full package including everything.
2025-10-03 18:20:23 +02:00
icex2 e25d52c293 Makefile clang-format: Exclude import source files
These should not be formatted because external sources with their
own code style
2023-03-02 19:16:06 +01:00
icex2 b493b4983a Overhaul makefile, cleanup and structured output of targets 2021-03-19 15:50:45 +01:00
icex2 762bf140c0 Version 1.08 with public source code release. 2020-10-03 20:56:55 +02:00