| commit | 348c7993147def91de1dcd8be8b260bbc7cb73dd | [log] [tgz] |
|---|---|---|
| author | Stefano Puri <stefano.puri@intecs.it> | Wed Sep 07 13:47:17 2016 +0200 |
| committer | Stefano Puri <stefano.puri@intecs.it> | Wed Sep 07 13:47:17 2016 +0200 |
| tree | 7594c25df236663c9e286d17bd11cd3234676317 | |
| parent | aaac111f960b63d8afd322e0e3acc889b91e20f1 [diff] |
Updates user manual