diff options
| author | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2019-09-24 15:19:25 +0200 |
|---|---|---|
| committer | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2019-09-24 15:19:25 +0200 |
| commit | bbbba969e769277140920b17f0d92e4e00f1b904 (patch) | |
| tree | e5333e362daac549d7da8367719ab52a02cf1149 /src/cmake | |
| parent | 824e34c83bbb8c2bc1ca0b1f7519fc77cae7f496 (diff) | |
no python documentation generation if POT is not found
Diffstat (limited to 'src/cmake')
0 files changed, 0 insertions, 0 deletions