diff options
author | Maria Matejka <mq@ucw.cz> | 2023-04-19 21:18:12 +0200 |
---|---|---|
committer | Maria Matejka <mq@ucw.cz> | 2023-04-22 20:48:42 +0200 |
commit | 074739e0e9baaba53f2a99edd348b76c3613b455 (patch) | |
tree | cf2402e373ec0909a76c0d05347a23385b339f1e /nest/Doc | |
parent | 48dfcb60d61ab7aec478468bd50eb0196c332ee3 (diff) |
Global protocol list is typed to avoid typecast confusion
Diffstat (limited to 'nest/Doc')
0 files changed, 0 insertions, 0 deletions