diff options
| author | Ulf Wiger <[email protected]> | 2010-12-14 19:27:26 +0100 |
|---|---|---|
| committer | Henrik Nord <[email protected]> | 2011-05-16 11:00:28 +0200 |
| commit | b10094bc2f120ceda0e927d31067670e26a0a4d7 (patch) | |
| tree | 878ea2c14ca73b11230850e5382d337b5108ea1a /plt/.gitignore | |
| parent | 5309d521c394aa7ca1feb679dbda6333a3cb4873 (diff) | |
| download | otp-b10094bc2f120ceda0e927d31067670e26a0a4d7.tar.gz otp-b10094bc2f120ceda0e927d31067670e26a0a4d7.tar.bz2 otp-b10094bc2f120ceda0e927d31067670e26a0a4d7.zip | |
optimize sticky_lock maj. check
Diffstat (limited to 'plt/.gitignore')
0 files changed, 0 insertions, 0 deletions