diff options
| author | John Högberg <[email protected]> | 2018-10-08 07:50:29 +0200 |
|---|---|---|
| committer | John Högberg <[email protected]> | 2018-10-08 07:50:29 +0200 |
| commit | e2a1ec914d9bec9f9310669df877601eed2f808d (patch) | |
| tree | 287508f59246146dceb080060a5b120f97c4cf2c /erts | |
| parent | 3ea2ff5697d1ee53a31d7f0530692f49e9d0c516 (diff) | |
| parent | 4312fba6cf15a41b7331c2309104dd82f29be9d6 (diff) | |
| download | otp-e2a1ec914d9bec9f9310669df877601eed2f808d.tar.gz otp-e2a1ec914d9bec9f9310669df877601eed2f808d.tar.bz2 otp-e2a1ec914d9bec9f9310669df877601eed2f808d.zip | |
Merge branch 'maint'
* maint:
compiler: Forward +source flag to epp and fix bug in +deterministic
epp: Allow user to set source name independently of input file name
Diffstat (limited to 'erts')
0 files changed, 0 insertions, 0 deletions