diff options
| author | Marcos Paulo de Souza <marcos.souza.org@gmail.com> | 2013-09-05 19:21:19 -0300 |
|---|---|---|
| committer | Thomas Arnhold <thomas@arnhold.org> | 2013-09-08 03:13:45 +0000 |
| commit | 5ab959017665e3f74ec4be8245827f3de92dd512 (patch) | |
| tree | 00941ec617387db9c91128c2928b9a199ad88f95 /fpicker | |
| parent | 9de3cff361fc49322689e26709ca4709866f485c (diff) | |
Math: Remove not needed header file
This header is used in just one place, so move all used data to that file.
Change-Id: Ic3927c2bd91f71c8800f5af298de3ed640d2c263
Reviewed-on: https://gerrit.libreoffice.org/5832
Reviewed-by: Thomas Arnhold <thomas@arnhold.org>
Tested-by: Thomas Arnhold <thomas@arnhold.org>
Diffstat (limited to 'fpicker')
0 files changed, 0 insertions, 0 deletions