diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2019-04-23 17:39:23 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-04-23 17:39:23 +0200 |
commit | 6098a7f1914f64c77d689f54d5432095911b744f (patch) | |
tree | bf07da3b3177f3d104ecb5a66a7dc24b207fb08a /servers | |
parent | b0da7b66ce278179eedd0e21dae1d84ed3f4459d (diff) | |
parent | dd03dcbd5a1d4a23d4fb3aa41da0c91fe2c5eda5 (diff) |
Merge pull request #27781 from reduz/new_android_export
Android now (optionally) builds the template when exporting
Diffstat (limited to 'servers')
0 files changed, 0 insertions, 0 deletions