diff options
| author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2016-04-23 11:35:38 -0400 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2016-04-23 11:35:38 -0400 |
| commit | 51704adfc3a46fe000f77aabb67ac9db855db720 (patch) | |
| tree | c75ff6a034666558c98e20982a0d774da1e46cfb /scripts | |
| parent | baa768c2119053fe444f5b11eed21598e3f670ca (diff) | |
Compile cleanly with -Werror=format-security
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions