|
source
|
Revert "Configure debian package directory"
|
2017-05-09 11:21:51 +01:00 |
|
compat
|
Revert "Configure debian package directory"
|
2017-05-09 11:21:51 +01:00 |
|
control
|
#6305 Allow any arch in deb package manager
|
2018-07-08 16:51:43 +01:00 |
|
copyright
|
Revert "Configure debian package directory"
|
2017-05-09 11:21:51 +01:00 |
|
rules
|
Revert "Configure debian package directory"
|
2017-05-09 11:21:51 +01:00 |
