diff options
| author | Rickard Green <[email protected]> | 2016-08-31 14:29:56 +0200 |
|---|---|---|
| committer | Rickard Green <[email protected]> | 2016-08-31 14:29:56 +0200 |
| commit | 74fecb1c89c9f3149dc0e42b2a4a19827a28370f (patch) | |
| tree | 878cc36923f6fd7cee7d5cc8475021610a5617e3 /lib/syntax_tools/include | |
| parent | bfe6427fa5ec615e73fc0aad2c5760370d786b19 (diff) | |
| parent | 451eb69edbe6c1b2ed53bcac18babda57e5f964c (diff) | |
| download | otp-74fecb1c89c9f3149dc0e42b2a4a19827a28370f.tar.gz otp-74fecb1c89c9f3149dc0e42b2a4a19827a28370f.tar.bz2 otp-74fecb1c89c9f3149dc0e42b2a4a19827a28370f.zip | |
Merge branch 'maint'
* maint:
Improve accuracy of timeouts using premature timeouts
Diffstat (limited to 'lib/syntax_tools/include')
0 files changed, 0 insertions, 0 deletions