diff options
author | Paweł Redman <pawel.redman@gmail.com> | 2018-04-13 00:16:33 +0200 |
---|---|---|
committer | Paweł Redman <pawel.redman@gmail.com> | 2018-04-13 00:16:33 +0200 |
commit | dd83ee59e481d58f5c30751d9dead295750857ca (patch) | |
tree | 3f12e8567059ee28dc5aa8f2c910b143af17d1cd /src | |
parent | 0f3893774df7805929c5c996228449996c78640b (diff) |
Use -O3.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions