| commit | 598d7f536d612d0558460b1049a9b73dd05d307d | [log] [tgz] |
|---|---|---|
| author | Fabio Utzig <utzig@apache.org> | Wed Jul 17 14:59:07 2019 -0300 |
| committer | Fabio Utzig <utzig@utzig.org> | Fri Jul 19 10:42:14 2019 -0300 |
| tree | e7c8cdd34c1b3d1d7e6e9301227ad168b07f8582 | |
| parent | 94c47ae2bc67c54a68d227abbb47c27ae97cc232 [diff] |
Remove separate versioned docs dir This removes around 750MB of docs that were stored under versions. Those were versioned copies of the entire tree of most mynewt repos. For the website generatoin, instead of generating docs from versioned tree copies, just get the information directly from the tagged git releases.
