Add gmconfig:pure_update_config/3 #4

Merged
uwiger merged 1 commits from uw-pure-update-cfg into master 2026-04-28 17:20:09 +09:00
Owner

The function pure_update_config/3 updates the config and simply returns the new config, without any side-effects.

The function `pure_update_config/3` updates the config and simply returns the new config, without any side-effects.
uwiger added 1 commit 2026-04-28 05:58:24 +09:00
uwiger changed title from Add gmconfig:pur_update_config/3 to Add gmconfig:pure_update_config/3 2026-04-28 17:17:03 +09:00
uwiger force-pushed uw-pure-update-cfg from 3c351aa940 to 44c5631943 2026-04-28 17:18:37 +09:00 Compare
uwiger merged commit 09093f729f into master 2026-04-28 17:20:09 +09:00
Sign in to join this conversation.