Nicolas 80773c8c82 Merge pull request 'Nicolas_local_ops' (#42) from Nicolas_local_ops into master ... Reviewed-on: https://gitea.freeleaps.mathmast.com/freeleaps/freeleaps-ops/pulls/42		2025-07-31 15:20:01 +00:00
..
devsvc	Merge pull request 'Nicolas_local_ops' (#42) from Nicolas_local_ops into master	2025-07-31 15:20:01 +00:00