diff options
| author | Hans Bolinder <[email protected]> | 2018-05-08 13:42:36 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2018-05-08 13:42:36 +0200 |
| commit | 41ea54fd4e6cb54f5dffed3163468dd9bb5e347f (patch) | |
| tree | a9bf6299aee07391c7363d01b9888bcc7c541bd9 /lib/tools/Makefile | |
| parent | 837fe8bf4bf3a567c66afec0f0ec3dd70d248cd8 (diff) | |
| download | otp-41ea54fd4e6cb54f5dffed3163468dd9bb5e347f.tar.gz otp-41ea54fd4e6cb54f5dffed3163468dd9bb5e347f.tar.bz2 otp-41ea54fd4e6cb54f5dffed3163468dd9bb5e347f.zip | |
tools: Handle fast restarts of Xref server
Diffstat (limited to 'lib/tools/Makefile')
0 files changed, 0 insertions, 0 deletions