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 /.gitignore | |
| parent | 0f3893774df7805929c5c996228449996c78640b (diff) | |
Use -O3.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions