# | Summary▾ |
Milestone▾
|
Status▾
|
Owner▾
|
Created▾ | Updated▾ | Votes▾ | |
---|---|---|---|---|---|---|---|---|
17 | substitute debian_versions.mk and push this info into the central Makefile | 1.0 | open | 2020-08-03 | 2020-08-03 | 0 | ||
12 | Suport the command INCLUDE | 1.0 | open | 2018-02-25 | 2018-03-10 | 0 |