Javier Serrano Polo
|
cdd1ddbb0c
|
Sync Debian version (#4840)
* Sync Debian version
* Drop temporary logging
|
2019-03-07 06:32:23 +01:00 |
|
Javier Serrano Polo
|
8dea34e1b8
|
Do not depend on Git history, use data from 2019-01-07 (#4763)
|
2019-01-16 03:08:14 +01:00 |
|
Javier Serrano Polo
|
698c39d385
|
Add Debian sid build pass (#4707)
* Add Debian sid build pass
* Update file locations and copyright
* Use ccache
* Redirect within sudo
* Work around a pbuilder bug which breaks ccache
* Debian: enable parallel builds
* Travis: Debian: fix caching
* Fix shellcheck warnings
|
2018-12-09 11:19:15 +01:00 |
|
Javier Serrano Polo
|
c3b07a5092
|
New pixmap as per #4519 (#4708)
|
2018-11-16 21:45:19 +01:00 |
|
Javier Serrano Polo
|
ff060982ac
|
Add initial Debian packaging for stable-1.2 (#4697)
* Add initial Debian packaging for stable-1.2
* Drop Debian menu entry
|
2018-11-14 14:01:00 +01:00 |
|