Dockerfile
|
Update to ubuntu 18.04 in docker image
|
2018-05-02 23:01:29 +02:00 |
Vagrantfile
|
Vagrantfile tweaks
|
2018-01-25 22:15:35 +01:00 |
check-versions.sh
|
Improve check-versions.sh
|
2017-11-07 04:58:09 +01:00 |
config.guess
|
Update to latest config.{guess,sub}
|
2017-01-18 01:02:18 +01:00 |
config.sub
|
Update to latest config.{guess,sub}
|
2017-01-18 01:02:18 +01:00 |
list-packages.sh
|
Improve scripts/list-packages.sh
|
2017-12-05 22:36:18 +01:00 |
setup-archlinux.sh
|
Enable ghostscript (#1135)
|
2017-08-11 13:25:55 +02:00 |
setup-ubuntu.sh
|
setup-ubuntu.sh: ant is no longer used
|
2018-05-02 23:00:28 +02:00 |