diff options
| author | Sverker Eriksson <[email protected]> | 2019-04-09 16:33:17 +0200 |
|---|---|---|
| committer | Sverker Eriksson <[email protected]> | 2019-04-09 17:04:38 +0200 |
| commit | a99df168b6d7ce37cfff781347ca8a15aaab133b (patch) | |
| tree | 07826944fd6215771af30adc90bdd6a78a16ac42 /erts/emulator/Makefile.in | |
| parent | ef44ba53defa0002ca6b12a786bd2d3555b0bb7b (diff) | |
| download | otp-a99df168b6d7ce37cfff781347ca8a15aaab133b.tar.gz otp-a99df168b6d7ce37cfff781347ca8a15aaab133b.tar.bz2 otp-a99df168b6d7ce37cfff781347ca8a15aaab133b.zip | |
Revert "erts: Remove old encoding of pids, ports and refs"
This reverts commit 0b74eec2a1fd5716ba6e21d8c6715433d8d34510.
Diffstat (limited to 'erts/emulator/Makefile.in')
0 files changed, 0 insertions, 0 deletions