Gaëtan Harter f08116f3ce dist/tools/*: adapt to new state file targets ... Prepare for handling pkg state with files. So it requires having the path defined before declaring targets. In addition, it cleans up the old git-download target.		2020-01-08 20:55:19 +01:00
..
.gitignore	pic32prog: add pic32prog programming tool	2019-09-24 17:43:12 +02:00
doc.md	dist/tools/pic32prog: fix typos	2019-11-23 22:39:37 +01:00
Makefile	dist/tools/*: adapt to new state file targets	2020-01-08 20:55:19 +01:00