diff options
| author | Daiki Ueno <dueno@redhat.com> | 2016-10-31 09:57:21 +0100 |
|---|---|---|
| committer | Daiki Ueno <ueno@gnu.org> | 2016-10-31 15:36:10 +0100 |
| commit | de5f2e5c59a8811aaea0c19a4a8899e370413851 (patch) | |
| tree | 6e8a4b38ba1e40e4aafda327f85908c659c404b4 /doc/manual | |
| parent | 09f584cbef43cac2a071b54f0fc97dd318fe88ea (diff) | |
travis: Enable GCC sanitizers
Diffstat (limited to 'doc/manual')
0 files changed, 0 insertions, 0 deletions