diff options
| author | Michael Vogt <mvo@debian.org> | 2014-01-06 08:12:28 +0100 |
|---|---|---|
| committer | Michael Vogt <mvo@debian.org> | 2014-01-06 08:12:28 +0100 |
| commit | c189f87d57844a13619ec387916f49aba171c1b3 (patch) | |
| tree | 350522c67a1657c609073fff9d5521d4c3cb05ed /README.progress-reporting | |
| parent | 74d4bb26e09146b9d5f01889a676dc58ff5d63cd (diff) | |
flock() the file edited in edit-sources
Diffstat (limited to 'README.progress-reporting')
0 files changed, 0 insertions, 0 deletions