| commit | bea031d47d0a4cc2c9a2a5b813906748e8f53412 | [log] [tgz] |
|---|---|---|
| author | GianMaria Romanato <gm.romanato@gmail.com> | Sun May 29 14:46:25 2016 +0200 |
| committer | GianMaria Romanato <gm.romanato@gmail.com> | Sun May 29 14:46:25 2016 +0200 |
| tree | 31dbd8d9923c36742050b4902fdc48c1358752ba | |
| parent | 211a00ae75f35c077b2b785454d122a6eca34554 [diff] |
Update tooling documentation.
