diff options
| author | Hicham Janati <hicham.janati@inria.fr> | 2019-09-03 18:15:38 +0200 |
|---|---|---|
| committer | Hicham Janati <hicham.janati@inria.fr> | 2019-09-03 18:15:38 +0200 |
| commit | a96caaed079b6e368df090c3e3290398e8b4a99e (patch) | |
| tree | 2ccd4872b1c720fe3b6ddc232c78c82f276adf67 /README.md | |
| parent | e55232056a79de128583b87e65abc6d7a75fb298 (diff) | |
update UOT paragraph in quickstart
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions