diff options
| author | Björn Gustavsson <[email protected]> | 2016-08-31 11:52:02 +0200 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2016-08-31 11:52:02 +0200 |
| commit | 90831a4abf26023811bc5762c915e22e0d3e5708 (patch) | |
| tree | e70df48013003f59b3113c98e7ef02b8413f38e2 /make/save_args | |
| parent | 23f4ec514ad31fac4f6310ec3734050b11770e14 (diff) | |
| parent | ee8f2380837321fef4975522bfa53cb9161874ac (diff) | |
| download | otp-90831a4abf26023811bc5762c915e22e0d3e5708.tar.gz otp-90831a4abf26023811bc5762c915e22e0d3e5708.tar.bz2 otp-90831a4abf26023811bc5762c915e22e0d3e5708.zip | |
Merge branch 'maint'
* maint:
make, ct_make: Handle warning attributes in source files
Diffstat (limited to 'make/save_args')
0 files changed, 0 insertions, 0 deletions