diff options
| author | Paweł Redman <pawel.redman@gmail.com> | 2017-01-01 16:03:22 +0100 |
|---|---|---|
| committer | Paweł Redman <pawel.redman@gmail.com> | 2017-01-01 16:03:22 +0100 |
| commit | a42aa2eaeec5f5c54b6c7286f05c90ad3bd55a03 (patch) | |
| tree | 956cc366f440bfc86b00f316562ddc8bc841c832 /Makefile | |
| parent | 79243d280886a83a8bd7bcac9cf37d66b68cc211 (diff) | |
Put nodiscard on the new p7 exit.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions