diff options
author | Hans Bolinder <[email protected]> | 2018-05-14 12:54:02 +0200 |
---|---|---|
committer | Hans Bolinder <[email protected]> | 2018-05-14 12:54:02 +0200 |
commit | 3694847de4ed6ee7bd5dba3bb20dce3964a6be46 (patch) | |
tree | abb36124cda0e35ae052e330e4b68ff5a933fd4a /system/doc | |
parent | 6454f3b15bd1c260017c250915d45ba77ee86c4f (diff) | |
parent | 41ea54fd4e6cb54f5dffed3163468dd9bb5e347f (diff) | |
download | otp-3694847de4ed6ee7bd5dba3bb20dce3964a6be46.tar.gz otp-3694847de4ed6ee7bd5dba3bb20dce3964a6be46.tar.bz2 otp-3694847de4ed6ee7bd5dba3bb20dce3964a6be46.zip |
Merge branch 'hasse/tools/xref_fix'
* hasse/tools/xref_fix:
tools: Handle fast restarts of Xref server
Diffstat (limited to 'system/doc')
0 files changed, 0 insertions, 0 deletions