summaryrefslogtreecommitdiff
path: root/include
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2019-01-20 17:07:54 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2019-01-20 17:07:54 -0500
commit38a20fdb9619e33ea989e171d98777cb3d7c6bc5 (patch)
tree48b7a742ba543c06024ca5fd7efd47b2813636cd /include
parent4ada57be570bfbe18137c5b37ed5e0d327de82db (diff)
getenv is benign
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions