Dimitry Andric 85ab8f98e6 Install the public sanitizer headers. These are useful for programs ...

that want to directly interface with sanitizer internals.

2015-11-29 16:28:40 +00:00

..

Makefile

…