diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-03-24 22:52:25 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-03-24 22:52:25 +0100 |
| commit | 6674c556ae531a161b4d9c11076864db83965a18 (patch) | |
| tree | dec6c640fb24584cb1ccade92b053459feb99bcb /doc/tools/makedocs.pot | |
| parent | 495710c3d68c3ac7c3bf762f8e4de0c2b2008b6c (diff) | |
| parent | f912bcd943cc394922e751fa02374426652164ff (diff) | |
Merge pull request #8128 from volzhs/fix-android-app-name
Fix wrong app name for Android export
Diffstat (limited to 'doc/tools/makedocs.pot')
0 files changed, 0 insertions, 0 deletions