diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-05-08 23:49:37 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-05-08 23:49:37 +0200 |
| commit | 720e2f7b090a36e515e334c41f6ae24ad5b6f2e9 (patch) | |
| tree | 43f803e02596ba059bce8814e1ffeaa5a143e78d /doc/Makefile | |
| parent | a79f4ac382686ec1e10484d4cf2351090d28ce2f (diff) | |
| parent | 2f8f34ceaf58b221d157706e35335e6f14470768 (diff) | |
Merge pull request #18726 from volzhs/remove-legacy
Remove android compatibility under API 16
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions