diff options
| author | Siri Hansen <[email protected]> | 2016-06-15 15:30:35 +0200 |
|---|---|---|
| committer | Siri Hansen <[email protected]> | 2016-06-15 15:30:35 +0200 |
| commit | 37464e088e9f4268c1d54d56d7cb31bec1cc140f (patch) | |
| tree | 4f51c344b8e6195e739520c99931f70071a3d686 /lib/syntax_tools/Makefile | |
| parent | 2ce17d44eba8993985f49abafc78d6c0f99bef27 (diff) | |
| parent | c8a4098692b5ad5c813f7f97557800ea638db652 (diff) | |
| download | otp-37464e088e9f4268c1d54d56d7cb31bec1cc140f.tar.gz otp-37464e088e9f4268c1d54d56d7cb31bec1cc140f.tar.bz2 otp-37464e088e9f4268c1d54d56d7cb31bec1cc140f.zip | |
Merge branch 'siri/cuddle-master'
* siri/cuddle-master:
Add short sleep when killing slave nodes
[ct test] Do reload_config instead of get_config
Diffstat (limited to 'lib/syntax_tools/Makefile')
0 files changed, 0 insertions, 0 deletions