-
Gabor Kelemen yazdı
These are no longer useful. Made with: git grep toolbar:helpid | cut -d : -f1 | sort -u | xargs sed -i -r -e 's/ toolbar:helpid="[0-9]*"//' git grep toolbar:helpid | cut -d : -f1 | sort -u | xargs sed -i -r -e 's/ toolbar:helpid=""//'1 Change-Id: If1bf04265f4e03b44b6a92529f6133aff1589526 Reviewed-on: https://gerrit.libreoffice.org/33642Tested-by:
Jenkins <ci@libreoffice.org> Reviewed-by:
Miklos Vajna <vmiklos@collabora.co.uk>
695c8bc9