diff options
| author | coqbot-app[bot] | 2021-03-02 21:24:42 +0000 |
|---|---|---|
| committer | GitHub | 2021-03-02 21:24:42 +0000 |
| commit | 0b08ab59b59fc0ef71fc4a16f6d48a5fb384939c (patch) | |
| tree | 01ae42b4b9232dbd4772297d664d894ff8901426 /doc/plugin_tutorial/tuto2/src | |
| parent | ef22a5aaf1728d840341d31befd67dd90c5b2e0e (diff) | |
| parent | b54ead93b6710b25337664a128bcfe9e684d342f (diff) | |
Merge PR #13891: Simplify installation instructions in README.
Reviewed-by: jfehrle
Diffstat (limited to 'doc/plugin_tutorial/tuto2/src')
0 files changed, 0 insertions, 0 deletions