Zompify #3

Open
uwiger wants to merge 5 commits from uw-zompify into master
Owner

Also removed a start dependency on gproc (a dirty hack from the aeternity days, I think), and added gmconfig:process_plain_args(), including instrumentation support.

Also removed a start dependency on `gproc` (a dirty hack from the aeternity days, I think), and added `gmconfig:process_plain_args()`, including instrumentation support.
uwiger added 2 commits 2025-05-06 18:33:54 +09:00
uwiger requested review from dimitar.p.ivanov 2025-05-06 18:33:55 +09:00
uwiger requested review from zxq9 2025-05-06 18:33:55 +09:00
uwiger added 2 commits 2025-05-13 06:31:55 +09:00
uwiger added 1 commit 2025-05-15 05:57:57 +09:00
This pull request can be merged automatically.
You are not authorized to merge this pull request.

Checkout

From your project repository, check out a new branch and test the changes.
git fetch -u origin uw-zompify:uw-zompify
git checkout uw-zompify
Sign in to join this conversation.
No Milestone
No project
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: QPQ-AG/gmconfig#3
No description provided.