diff options
author | Gabor Kelemen <kelemeng@gnome.hu> | 2017-01-20 23:35:40 +0100 |
---|---|---|
committer | Gabor Kelemen <kelemeng@ubuntu.com> | 2017-01-21 12:22:57 +0000 |
commit | 529ebd059a6f8cebeee0e1c1a30e52b17bf6a3b2 (patch) | |
tree | 96f9f6a48bb2f2e63521acaa4642b50ef6f00e5b /source/text/shared/optionen | |
parent | 19715d0fd1198603141ee18e632d117ba61ed4ed (diff) |
Remove an obsolete bookmark and ahelp
Change-Id: I808bc9b12c9216d1518bc78d6f982bdf1c298873
Reviewed-on: https://gerrit.libreoffice.org/33367
Reviewed-by: Gabor Kelemen <kelemeng@ubuntu.com>
Tested-by: Gabor Kelemen <kelemeng@ubuntu.com>
Diffstat (limited to 'source/text/shared/optionen')
0 files changed, 0 insertions, 0 deletions