diff options
author | intrigeri <intrigeri@boum.org> | 2008-10-18 21:47:49 +0200 |
---|---|---|
committer | intrigeri <intrigeri@boum.org> | 2008-10-18 21:47:49 +0200 |
commit | 629968fc89bced6727981c0a1138072631751fee (patch) | |
tree | 5bab1babf88524edb46a90a0a0715ffd2aab7e09 /doc/plugins | |
parent | a0deb3038c45c066e2c0c3acb8c6c4a93ca3301d (diff) |
po plugin(refreshpot): prevent PO references to be written
... else we can fall into some kind of nasty infinite loop, when two ikiwiki
instances don't store their working copy of the repository at the same place:
every POT file update in one repository would trigger an update of the same POT
file in the others repository, and so on.
Signed-off-by: intrigeri <intrigeri@boum.org>
Diffstat (limited to 'doc/plugins')
0 files changed, 0 insertions, 0 deletions