summaryrefslogtreecommitdiff
path: root/src/set
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2018-07-01 19:54:13 +0200
committerChristian Grothoff <christian@grothoff.org>2018-07-01 19:54:13 +0200
commit4e5b0abe868d344b1b415719db34b1f5f3aa94d0 (patch)
treece1c3e59d0a58824b41b7802b83cf12196cc5a10 /src/set
parenta62a0839916306a4007d3f2b076878b7a29022ec (diff)
clarify error message of #5375
Diffstat (limited to 'src/set')
0 files changed, 0 insertions, 0 deletions