commit | 2ac249919755ec3d12a8522af23e8c135ea227ab | [log] [tgz] |
---|---|---|
author | Pasquale Congiusti <pasquale.congiusti@gmail.com> | Thu Aug 11 11:27:18 2022 +0200 |
committer | Pasquale Congiusti <pasquale.congiusti@gmail.com> | Thu Aug 11 14:48:44 2022 +0200 |
tree | 9187f2adcba5b8f2f99930461878bb3967d2afdf | |
parent | 386ea6694d665aa4fa6767d2f706bafce8f7acdc [diff] |
doc: local operator id procedure Closes #3472