summaryrefslogtreecommitdiff
path: root/proto
diff options
context:
space:
mode:
authorMaria Matejka <mq@ucw.cz>2019-08-17 10:20:46 +0200
committerMaria Matejka <mq@ucw.cz>2020-05-01 15:19:12 +0200
commit0fa8bf91cd474e393ded85b329fde30ba35f6a26 (patch)
tree6c1c2865a04c3e08eaae55618f333b74edf7be36 /proto
parentbbe49ae569534d0cf7ff226d19e729dcc764e606 (diff)
Nest: Several assumptions to tame the static analyzer
Diffstat (limited to 'proto')
0 files changed, 0 insertions, 0 deletions