diff options
author | Florian Dold <florian.dold@gmail.com> | 2019-06-26 21:42:32 +0200 |
---|---|---|
committer | Florian Dold <florian.dold@gmail.com> | 2019-06-26 21:42:32 +0200 |
commit | 57f0194b59d996983f16e19827f1a4d58204561c (patch) | |
tree | 1ac4d4ac224a9e05de341a9a2b7700c74b3d6412 /doc/paper | |
parent | c9480d2287b08bdf0721a47c316f122942c1b181 (diff) |
disable useless GCC warning about pointer alignment
Diffstat (limited to 'doc/paper')
0 files changed, 0 insertions, 0 deletions