diff options
| author | Sverker Eriksson <[email protected]> | 2018-02-26 16:59:39 +0100 |
|---|---|---|
| committer | Sverker Eriksson <[email protected]> | 2018-03-02 19:16:48 +0100 |
| commit | 2709c93ede0be977ac13543d0fabe8ff3c27f4cc (patch) | |
| tree | d29bee3a3ef0a4b5f75778bf964808cc3ad64d6f /erts/preloaded | |
| parent | 7917c31757994f4f2fd344d0529de8bb193adc85 (diff) | |
| download | otp-2709c93ede0be977ac13543d0fabe8ff3c27f4cc.tar.gz otp-2709c93ede0be977ac13543d0fabe8ff3c27f4cc.tar.bz2 otp-2709c93ede0be977ac13543d0fabe8ff3c27f4cc.zip | |
kernel: Remove DFLAGS_ALL from dist.hrl
and remove use in dist_util:check_mandatory
Diffstat (limited to 'erts/preloaded')
0 files changed, 0 insertions, 0 deletions