mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-12-28 06:49:43 +00:00
23b74a9111
These are all generated by development/tools/generate_symbols_images.py, the only manual adjustments were renamings due to case sensitive file systems on windows.
115 B
18x9px
115 B
18x9px