diff options
author | pje335_NL <meulenthomas@gmail.com> | 2013-06-10 07:35:44 +0200 |
---|---|---|
committer | Miklos Vajna <vmiklos@suse.cz> | 2013-06-11 13:49:40 +0000 |
commit | d330f3a2712b38c382767f668e751128b541624c (patch) | |
tree | ff55d0f88d3aa6a934612312abdc95cbe76a4b73 /Repository.mk | |
parent | e1a40290871740ed9dd76c0c4bd91b3a4232f65a (diff) |
fdo#65199 mutible names for the same option.
Change-Id: Ib17c323b5a9a2dba5e3d32d8a1a418167a7e7fe5
Reviewed-on: https://gerrit.libreoffice.org/4222
Reviewed-by: Miklos Vajna <vmiklos@suse.cz>
Tested-by: Miklos Vajna <vmiklos@suse.cz>
Diffstat (limited to 'Repository.mk')
0 files changed, 0 insertions, 0 deletions