Harald Welte
4c294b6d46
'distclean' removes the actual git clones, while 'clean' now simply ensures that there are no local changes between to index. Change-Id: I5de68644b397ff7fbca0595a8900b41508d59bde |
||
---|---|---|
.. | ||
Makefile |