diff options
author | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2020-08-03 10:48:08 +0200 |
---|---|---|
committer | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2020-08-03 10:48:08 +0200 |
commit | 9b52376e57c784838d07e15343e2a9194aad84cc (patch) | |
tree | 602daf7278d9fccea1f0a4232d5f9d09bfb3aff0 /src/python/doc/witness_complex_ref.rst | |
parent | d9d4bf2ef2c2676389cca4ce4e6595ca2e4ca0b1 (diff) |
doc review: specify the error and indicate what to install on Ubuntu
Diffstat (limited to 'src/python/doc/witness_complex_ref.rst')
0 files changed, 0 insertions, 0 deletions