Hi all,
I already added the modification to vertex plugin
If Michael can add the new real. to OJ plus, I appreciate it.
Github universe is still mysterious for me.
Peppe
Il giorno dom 6 nov 2022 alle ore 12:59 ha scritto:
> hey Mike,
>
> i'll forward you a mail from Peppe who wanted to build a
hey Mike,
i'll forward you a mail from Peppe who wanted to build a new vertex-symbols
version. maybe you guys coordinate.. sunny regards ede
On 04.11.2022 23:25, Michaud Michael wrote:
Hi ede,
Yes, it would be nice to have a bugfix release.
I still have to include recent modifications on