diff options
author | Hans Bolinder <[email protected]> | 2012-07-03 13:05:12 +0200 |
---|---|---|
committer | Hans Bolinder <[email protected]> | 2012-07-03 13:05:12 +0200 |
commit | e077fb6fd3de258fa3cd4467fa94ad6b1d974368 (patch) | |
tree | 97e6688ed384eadffafdb00faa08997ecfce157f /erts/emulator/Makefile.in | |
parent | a1129e9c2c67f328de00262ec9e81c177d45d8a3 (diff) | |
parent | 14f6a66f6410e1665ad39e95158420b0a45634d6 (diff) | |
download | otp-e077fb6fd3de258fa3cd4467fa94ad6b1d974368.tar.gz otp-e077fb6fd3de258fa3cd4467fa94ad6b1d974368.tar.bz2 otp-e077fb6fd3de258fa3cd4467fa94ad6b1d974368.zip |
Merge branch 'maint'
* maint:
Correct the type of the disk log header
Diffstat (limited to 'erts/emulator/Makefile.in')
0 files changed, 0 insertions, 0 deletions