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 /debian/README.source | |
parent | 74d4bb26e09146b9d5f01889a676dc58ff5d63cd (diff) |
flock() the file edited in edit-sources
Diffstat (limited to 'debian/README.source')
0 files changed, 0 insertions, 0 deletions