jPicEdt Code

Another drawing editor for LaTeX with PSTricks & TikZ

Brought to you by: reynal, vincentb1

Renamed attributes.PolydotsPentagonFilled.gif to attributes.PolydotsPentagonFilled.png

Authored by: vincentb1 2010-04-20

Parent: [r655]

Child: [r657]

removed	/trunk/jpicedt/jpicedt/jpicedt/images/attributes.PolydotsPentagonFilled.gif
added	/trunk/jpicedt/jpicedt/jpicedt/images/attributes.PolydotsPentagonFilled.png

File was removed.

Binary file was added.