Change History for Ticket #13143

Version Date Author Comment
43 7 years chapoton
27 10 years jhpalmieri Here is a patch which replaces several picture environments with pngs. …
16 10 years jhpalmieri
15 10 years jhpalmieri
14 10 years jhpalmieri
5 10 years jhpalmieri
3 10 years jhpalmieri
2 10 years jhpalmieri
0 10 years jhpalmieri Initial version