Harald Welte 4c294b6d46 deps/Makefile: Separate 'distclean' from 'clean' ... 'distclean' removes the actual git clones, while 'clean' now simply ensures that there are no local changes between to index. Change-Id: I5de68644b397ff7fbca0595a8900b41508d59bde		2018-02-15 18:32:28 +01:00
..
Makefile	deps/Makefile: Separate 'distclean' from 'clean'	2018-02-15 18:32:28 +01:00