diff options
| author | Rickard Green <[email protected]> | 2018-03-12 15:41:16 +0100 |
|---|---|---|
| committer | Rickard Green <[email protected]> | 2018-03-13 18:32:43 +0100 |
| commit | d0573e3e497337e13f4685de4b455817dfb601b7 (patch) | |
| tree | 4a356e7d6d661295ee4c6d0e16a1d1ecb22edf37 /lib/.gitignore | |
| parent | 13c6a4bf01d39a5002e09ef1f82619cde9f2c90c (diff) | |
| download | otp-d0573e3e497337e13f4685de4b455817dfb601b7.tar.gz otp-d0573e3e497337e13f4685de4b455817dfb601b7.tar.bz2 otp-d0573e3e497337e13f4685de4b455817dfb601b7.zip | |
Reschedule on ordinary scheduler if dirty work is gone
Diffstat (limited to 'lib/.gitignore')
0 files changed, 0 insertions, 0 deletions