diff options
| author | Tavian Barnes <tavianator@tavianator.com> | 2016-06-07 19:16:31 -0400 |
|---|---|---|
| committer | Tavian Barnes <tavianator@tavianator.com> | 2016-06-07 19:16:31 -0400 |
| commit | cbb7cc9bf6d49ba922010f77c06cbea23f8e39de (patch) | |
| tree | a450efc6b3aabda1ac3ec1bf93e0c4e6c2c774c7 /.gitignore | |
| parent | 8b55d62f4ec9739884e75feeba785014db71aca5 (diff) | |
| download | bfs-cbb7cc9bf6d49ba922010f77c06cbea23f8e39de.tar.xz | |
At -O3, replace command lines with no actions by -false.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions