diff options
| author | Otto Kekäläinen <otto@mariadb.org> | 2018-01-12 13:06:14 +0000 |
|---|---|---|
| committer | Vicențiu-Marian Ciorbaru <cvicentiu@gmail.com> | 2018-01-16 13:48:00 +0200 |
| commit | 711e8c56346d0f9a4717ea2b2e0c7a98b6c247a9 (patch) | |
| tree | fba3114f0c7e4dacee3354951ed4aed9f6e59f09 /debian/mariadb-server-10.3.install | |
| parent | a41192def8ab67f4420e437ebd26646023a9bcca (diff) | |
| download | mariadb-git-711e8c56346d0f9a4717ea2b2e0c7a98b6c247a9.tar.gz | |
MDEV-12642: Build deb source packages on buildbot, just not on Travis-CI
Diffstat (limited to 'debian/mariadb-server-10.3.install')
0 files changed, 0 insertions, 0 deletions