diff options
| author | Marc Glisse <marc.glisse@inria.fr> | 2019-10-27 12:59:55 +0100 |
|---|---|---|
| committer | Marc Glisse <marc.glisse@inria.fr> | 2019-10-27 12:59:55 +0100 |
| commit | d02296df9ca6ebea31345a89a6070258c0ed91a9 (patch) | |
| tree | 121f153dbb14801ace108922ad66de27d1387d32 /README.md | |
| parent | 94f055579ee1cd2c14940dabc58500cb0d20002f (diff) | |
Mention POT in installation instructions
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions