build-pdf-docs
|
Add support for building PDFs
|
2019-08-23 17:29:58 +02:00 |
legacy-copy-jenkins-scripts
|
Create old jenkins directories
|
2018-03-05 16:45:18 -05:00 |
mirror-info
|
Correct MariaDB proxy suffix
|
2018-11-22 12:03:17 +00:00 |
prepare-build-pdf-docs
|
Add xindy to pdf-docs prereqs
|
2019-09-26 14:47:45 +00:00 |
prepare-docs-for-afs
|
Fix publishing tagged docs
|
2018-02-19 20:32:48 +01:00 |
prepare-infra-docs-for-afs
|
Fix publishing tagged docs
|
2018-02-19 20:32:48 +01:00 |
prepare-zanata-client
|
Require JDK 8 for translations
|
2020-01-14 21:28:05 +01:00 |