Skip to content

feat: table improvements#11

Merged
mosteo merged 1 commit into
masterfrom
feat/misc
Jul 9, 2026
Merged

feat: table improvements#11
mosteo merged 1 commit into
masterfrom
feat/misc

Conversation

@mosteo

@mosteo mosteo commented Jul 9, 2026

Copy link
Copy Markdown
Owner

Squashed commit of the following:

commit 73d99ae
Author: Alejandro R. Mosteo amosteo@unizar.es
Date: Fri Feb 21 20:57:35 2025 +0100

Detect exe availability prior to spawn

commit 0445008
Author: Alejandro R. Mosteo amosteo@unizar.es
Date: Thu Feb 13 22:37:31 2025 +0100

Improvements to Table_IO

commit ddfeffe
Author: Alejandro R. Mosteo amosteo@unizar.es
Date: Sun Sep 8 20:32:20 2024 +0200

Printing

commit 1513c94
Author: Alejandro R. Mosteo amosteo@unizar.es
Date: Wed Sep 4 10:53:16 2024 +0200

Headers

Squashed commit of the following:

commit 73d99ae
Author: Alejandro R. Mosteo <amosteo@unizar.es>
Date:   Fri Feb 21 20:57:35 2025 +0100

    Detect exe availability prior to spawn

commit 0445008
Author: Alejandro R. Mosteo <amosteo@unizar.es>
Date:   Thu Feb 13 22:37:31 2025 +0100

    Improvements to Table_IO

commit ddfeffe
Author: Alejandro R. Mosteo <amosteo@unizar.es>
Date:   Sun Sep 8 20:32:20 2024 +0200

    Printing

commit 1513c94
Author: Alejandro R. Mosteo <amosteo@unizar.es>
Date:   Wed Sep 4 10:53:16 2024 +0200

    Headers
@mosteo
mosteo merged commit 28d2424 into master Jul 9, 2026
4 of 8 checks passed
@mosteo
mosteo deleted the feat/misc branch July 9, 2026 11:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant