aboutsummaryrefslogtreecommitdiff
path: root/src/include/platform.h
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2015-01-31 20:54:38 +0100
committerChristian Grothoff <christian@grothoff.org>2015-01-31 20:54:38 +0100
commitd86ae26ef5a94b1051759f541e3728c9aaa792fa (patch)
tree274312cad538d9217c6395fdd2cb79d6c7b7d05a /src/include/platform.h
parent20c05dd5e3f0233cdf7291a05ec0348934dee652 (diff)
mark unchecked functions
Diffstat (limited to 'src/include/platform.h')
0 files changed, 0 insertions, 0 deletions