diff options
| author | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2018-09-26 11:27:44 +0200 |
|---|---|---|
| committer | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2018-09-26 11:27:44 +0200 |
| commit | 176f9e940f6bfa73450ad20d26c800dfa162a479 (patch) | |
| tree | 9fa6caa392e274aa35a6df3cd4c4223cd3efc72e /code/environments/production/modules/apt/examples/pin.pp | |
| parent | 6e514db0e3490a60ad6782027bc36b4061cf978d (diff) | |
| download | puppet.FWSECK-176f9e940f6bfa73450ad20d26c800dfa162a479.tar.gz puppet.FWSECK-176f9e940f6bfa73450ad20d26c800dfa162a479.tar.bz2 puppet.FWSECK-176f9e940f6bfa73450ad20d26c800dfa162a479.zip | |
site.pp: Let tjener.intern have the latest browser, too. We don't have test workstations at FWSECK, so TJENER must do the job.
Diffstat (limited to 'code/environments/production/modules/apt/examples/pin.pp')
0 files changed, 0 insertions, 0 deletions