diff options
| author | Peter Eisentraut | 2017-08-23 13:56:38 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2017-08-23 13:56:38 +0000 |
| commit | 580ddcec3943216b281c56e3c7fc933fdcf850f4 (patch) | |
| tree | 1a995bdeda09dc552fe73e360016422474da6551 /doc/src | |
| parent | 8c0d7bafad36434cb08ac2c78e69ae72c194ca20 (diff) | |
Fix translation marker
This was erroneously removed in
55a70a023c3daefca9bbd68bfbe6862af10ab479.
Diffstat (limited to 'doc/src')
0 files changed, 0 insertions, 0 deletions