search

lueschem / edi

Embedded development infrastructure.
https://www.get-edi.io
GNU Lesser General Public License v3.0
39 stars 12 forks source link

Reduce disk usage by optionally excluding documentation. #32

Closed lueschem closed 6 years ago

lueschem commented 6 years ago

Check this for details: https://askubuntu.com/questions/129566/remove-documentation-to-save-hard-drive-space