diff options
| author | Michael Muré <batolettre@gmail.com> | 2018-08-21 18:46:53 +0200 |
|---|---|---|
| committer | Michael Muré <batolettre@gmail.com> | 2018-08-21 19:13:08 +0200 |
| commit | 6d7dc465d881d0d04b01dfb6e09870346216d2d0 (patch) | |
| tree | fbbce01c6b7634556303a3d917d1036767280d17 /doc/webui2.png | |
| parent | 942178288d657202b3f7afd386b319a245afbb7e (diff) | |
| download | git-bug-6d7dc465d881d0d04b01dfb6e09870346216d2d0.tar.gz | |
cache: lock the repo with a pid file; automatic cleaning
Diffstat (limited to 'doc/webui2.png')
0 files changed, 0 insertions, 0 deletions