summaryrefslogtreecommitdiff
path: root/old
diff options
context:
space:
mode:
authorTom Smeding <t.j.smeding@uu.nl>2022-07-31 13:57:24 +0200
committerTom Smeding <t.j.smeding@uu.nl>2022-07-31 13:57:24 +0200
commitba3d42030decabe0a8f3c5c32f845114fba677e5 (patch)
treec82edd9b1ddddd64fc580d3a517b34f27c50f0e0 /old
parentce255302720ab5c53f0fcb04abbe2c4738ae251d (diff)
Warning nagbar when half-fullHEADmaster
Diffstat (limited to 'old')
0 files changed, 0 insertions, 0 deletions