diff options
| -rw-r--r-- | doc/plugins/po.mdwn | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/plugins/po.mdwn b/doc/plugins/po.mdwn index cdf3c6abe..756012890 100644 --- a/doc/plugins/po.mdwn +++ b/doc/plugins/po.mdwn @@ -269,6 +269,9 @@ pages. Both were implemented, and reverted in commit ea753782b222bf4ba2fb4683b6363afdd9055b64, which should be reverted once [[intrigeri]]'s `meta` branch is merged. +An integration branch, called `meta-po`, merges [[intrigeri]]'s `po` +and `meta` branches, and thus has thise additional features. + Robustness tests ---------------- |