diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2010-12-09 06:52:34 +0100 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2010-12-09 06:52:34 +0100 |
| commit | c9d72df9e6cc51155306b30b2f23b2e4f58fdc05 (patch) | |
| tree | d0c57afee613331a88714c57c453bf2159dbb43f /config.local.gerolde | |
| parent | bff3dabaf45abbc7d6bed1b3ec1c717ae678c8b4 (diff) | |
repo_lock: check if repo is locked by repo-add or repo-remove
Diffstat (limited to 'config.local.gerolde')
0 files changed, 0 insertions, 0 deletions