* pkg/deb/debian should be the only source * pkg/deb/debian/backports: scripts to generate differences This way is quite easy to maintain different versions, the differences are managed via scripts Change-Id: I0ac3a35fe3facf005564141563e2fb11b73cbefc |
4 years ago | |
|---|---|---|
| .. | ||
| deb/debian | TT#124273 pkg: use backports scripts to generate different flavours | 4 years ago |