diff options
| author | intrigeri <intrigeri@boum.org> | 2012-07-02 18:22:08 +0200 |
|---|---|---|
| committer | intrigeri <intrigeri@boum.org> | 2012-07-02 18:22:08 +0200 |
| commit | 686db3f1b4f154f0f37e19584beb07ced7fedae8 (patch) | |
| tree | b3bb7b0442e7d6f8073043aae1e2dcf7ef3f82fb /files | |
| parent | 02208c77ac7ebc7062d239f9c4873dcf96c906a6 (diff) | |
Drop useless refreshonly for resource that already has a "create" parameter.
In production, this does not change anything worth noting.
But when developing, being able to delete the exported pubkey and re-run Puppet
is useful.
Diffstat (limited to 'files')
0 files changed, 0 insertions, 0 deletions