diff options
| author | fpi | 2020-07-29 11:34:51 +0200 |
|---|---|---|
| committer | fpi | 2022-03-17 14:44:35 +0100 |
| commit | e37bd5af68b9fc4ab60dae924c90f74ff81640d1 (patch) | |
| tree | 0af04c9efea3881089a0afb91a78edc7ae4ca772 /Makefile | |
| parent | Add general project functions & agendas by jwiegley (diff) | |
Include tasks of subprojects in current hotlist
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions