diff options
| author | tv <tv@krebsco.de> | 2018-10-11 11:33:03 +0200 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2018-10-11 11:33:03 +0200 |
| commit | 58200bf7075eeef5ab1979f1da6729fa7bbf41dd (patch) | |
| tree | 12c26dc8500f185739f66c56b123d34020eec5ce /krebs/5pkgs/simple/populate | |
| parent | ebf3fe9e21dcdbb03fb7e739c10ff087f7646cad (diff) | |
tv gitrepos: use proper post-receive default
Diffstat (limited to 'krebs/5pkgs/simple/populate')
0 files changed, 0 insertions, 0 deletions