aboutsummaryrefslogtreecommitdiff
path: root/dev/include
diff options
context:
space:
mode:
authorPierre-Marie Pédrot2017-11-23 10:34:25 +0100
committerPierre-Marie Pédrot2017-11-23 10:34:25 +0100
commit7d541f25751838e1cde2a292a71afaa28879b753 (patch)
tree41138314af0177e64c0b443191b69cada1e28be0 /dev/include
parente5b128c7d4c2fd28a4ad7c5df8e48d485cd703f3 (diff)
Bypass int and string representation in votour when it's incorrect.
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions