diff options
author | Matthias P. Braendli <matthias.braendli@mpb.li> | 2024-07-09 09:44:18 +0200 |
---|---|---|
committer | Matthias P. Braendli <matthias.braendli@mpb.li> | 2024-07-09 09:44:18 +0200 |
commit | f97fdac0193ab2053bd43c3d92a69b14faf9d15c (patch) | |
tree | 11c57adcfe308e05bdfbe2b1c863ed8802112eae /man | |
parent | 91181df0cfb2a5e33d16c8458a84978c14a005ba (diff) | |
download | dabmod-f97fdac0193ab2053bd43c3d92a69b14faf9d15c.tar.gz dabmod-f97fdac0193ab2053bd43c3d92a69b14faf9d15c.tar.bz2 dabmod-f97fdac0193ab2053bd43c3d92a69b14faf9d15c.zip |
Make remaining_holder_s always non-null
Diffstat (limited to 'man')
0 files changed, 0 insertions, 0 deletions