diff options
| author | Erich Eckner <git@eckner.net> | 2018-06-12 10:00:58 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-06-12 10:00:58 +0200 |
| commit | 8129f03985c196f7413a648bee59fe4ee549a2f6 (patch) | |
| tree | 25cdabf7959b791574d93f7bc806a360c82fc3b0 /misc | |
| parent | 1ccec398b9176d6908ba6a4df50a604b6b922005 (diff) | |
| download | builder-8129f03985c196f7413a648bee59fe4ee549a2f6.tar.xz | |
lib/load-configuration: hide output of "git pull" if successful
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions