aboutsummaryrefslogtreecommitdiff
path: root/API/API.mli
diff options
context:
space:
mode:
authorPierre-Marie Pédrot2017-11-23 10:55:32 +0100
committerPierre-Marie Pédrot2017-11-23 10:57:10 +0100
commit7b3caccd054b6c912d4ded5c93d6b603c94904d2 (patch)
treed917d07e1ce497ca4ca557b9fcd01611fff1e1fe /API/API.mli
parent7d541f25751838e1cde2a292a71afaa28879b753 (diff)
Truncate strings in votour to 1024 characters.
Making it bigger is kind of useless, takes time and clutters the output for no real advantage.
Diffstat (limited to 'API/API.mli')
0 files changed, 0 insertions, 0 deletions